2014-01-06 - production
13:56	<hashar>	jenkins: migrated mediawiki extension loader from /tools/extensions-loader.php to mediawiki/conf.d/50_mw_ext_loader.php {{gerrit|105680}}	[production]