Add support for loading mediawiki.util from the top by default
authorKrinkle <krinkle@users.mediawiki.org>
Sun, 29 Jan 2012 19:40:11 +0000 (19:40 +0000)
committerKrinkle <krinkle@users.mediawiki.org>
Sun, 29 Jan 2012 19:40:11 +0000 (19:40 +0000)
commit3c72b527edd7ad85b7c3d690f239cdc20770cd1e
tree087161b9f35d96fe359213cf5eea50ce4d7dd760
parentd70c7e6b2860a92cc2152aaf6ebcf40a69ad20f3
Add support for loading mediawiki.util from the top by default
* Introduces $wgPreloadJavaScriptMwUtil
* Instead of loading mediawiki.util as base module from the bottom, now loading it from queue position "top" if $wgPreloadJavaScriptMwUtil is true. And if false it'll remain in the bottom in practice as implied by other modules loading it as a dependency (i.e. mediawiki.page.ready depends on it)
* Fixes bug 33746
RELEASE-NOTES-1.19
includes/DefaultSettings.php
includes/OutputPage.php
resources/Resources.php