Drop deprecated $wgPreloadJavaScriptMwUtil
authorJames D. Forrester <jforrester@wikimedia.org>
Wed, 16 Mar 2016 10:45:25 +0000 (10:45 +0000)
committerTimo Tijhof <krinklemail@gmail.com>
Wed, 16 Mar 2016 16:44:07 +0000 (16:44 +0000)
commit3297fad7d07a7e665a3f74ac1140a67575d58a3e
tree319c578682846c7cea9ca8f20a9e53524c8f8156
parent26cf9f6ed9e722ec6ed34c9022e97b823ec51343
Drop deprecated $wgPreloadJavaScriptMwUtil

This was always false since introduction in 3c72b527 released in MediaWiki
1.19, and deprecated in 0ac4f998, released as part of MediaWiki 1.26. Any
code that still needs the mediawiki.util module can continue to use it via
expressing this dependency through their ResourceLoader manifest as usual.

Bug: T111077
Change-Id: Ic838af8727476c047f01ef0dbbeb952c85e263e1
RELEASE-NOTES-1.27
includes/DefaultSettings.php
includes/resourceloader/ResourceLoaderStartUpModule.php
resources/Resources.php