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

Change-Id: I29c62b971ce524ec636035599475a3f9e498207d

wikimedia/mediawiki-extensions-TopTenPages,wikimedia/mediawiki-extensions-TopTenPages