build: Updating jakub-onderka/php-parallel-lint to 1.0.0
build: Updating jakub-onderka/php-parallel-lint to 1.0.0

Change-Id: I1e9658083523bc0a2dd1eb965d0dfb2ec3a2f434

wikimedia/mediawiki-extensions-Variables,wikimedia/mediawiki-extensions-Variables