resourceloader: Merge mediawiki.legacy.wikibits into mediawiki.base
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 2 Aug 2019 19:30:11 +0000 (20:30 +0100)
committerKrinkle <krinklemail@gmail.com>
Sat, 3 Aug 2019 21:49:20 +0000 (21:49 +0000)
commited6e38178bf4d34c38af72deec8bf7d980a670dc
tree6df898da570da60ef158fb05664531d507db9ba2
parent3857d06f1cb97d6833c348a0dff2731e629bd802
resourceloader: Merge mediawiki.legacy.wikibits into mediawiki.base

Still executed under the same conditional, but no longer exposed
as its own public module bundle.

Change-Id: Ifba3a73b184ce02eeeeb2ccce6d4aece732dea13
includes/resourceloader/ResourceLoaderStartUpModule.php
jsduck.json
resources/Resources.php
resources/src/mediawiki.base/legacy.wikibits.js [new file with mode: 0644]
resources/src/mediawiki.legacy/wikibits.js [deleted file]