[MediaWiki-commits] [Gerrit] Drop deprecated $wgPreloadJavaScriptMwUtil - change (mediawiki/core)

2016-03-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Drop deprecated $wgPreloadJavaScriptMwUtil .. Drop deprecated $wgPreloadJavaScriptMwUtil This was always false since introduction in 3c72b527 released in

[MediaWiki-commits] [Gerrit] Drop deprecated $wgPreloadJavaScriptMwUtil - change (mediawiki/core)

2016-03-16 Thread Jforrester (Code Review)
Jforrester has uploaded a new change for review. https://gerrit.wikimedia.org/r/277738 Change subject: Drop deprecated $wgPreloadJavaScriptMwUtil .. Drop deprecated $wgPreloadJavaScriptMwUtil This was always false since intro