Merge "Define MEDIAWIKI_JOB_RUNNER in runJobs.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Oct 2017 16:57:22 +0000 (16:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Oct 2017 16:57:22 +0000 (16:57 +0000)
commit6b4b7758747a3d5f7daefb9e89abe5889c04e256
treed5a5b31894d3cd669764b3ffe8fa9e1c8720e5a2
parent63752d25bfc28159f5f9b6a2e9a6a6d784959fd0
parentd8c63d0ae57073490622d59751e3dd84ffd7af34
Merge "Define MEDIAWIKI_JOB_RUNNER in runJobs.php"