Merge "Define MEDIAWIKI_JOB_RUNNER in runJobs.php"