+if ( !defined( 'MEDIAWIKI' ) ) {
+ // So extensions (and other code) can check whether they're running in job mode.
+ // This is not defined if this script is included from installer/updater or phpunit.
+ define( 'MEDIAWIKI_JOB_RUNNER', true );
+}
+