GitHub PushEvent at 2014-01-06 13:52:50
Repository: integration-jenkins
Actor: wmfgerrit
Payload: {"shas":[["a73b7e252d43993a6242427eedd4e3118df61e09","6673b20d02a0fec0f4ada156ad913a0e309f35b4@free.fr","ext loader now in mediawiki/conf.d\n\nWe used to load extensions with the InjectExtensions.php script, it is\nno more needed so delete it.\n\nInjecting configuration should be done with snippets under\nmediawiki/conf.d/. The 50_mw_ext_loader.php script was merely including\nthe file tools/extensions-loader.php , so just move that file there.\n\nChange-Id: I48d9975fe675149ecacaf55e8e72bdcce13b2c15","Antoine Musso",true]],"size":1,"ref":"refs/heads/master","head":"a73b7e252d43993a6242427eedd4e3118df61e09"}