mediawiki.util: Move to its own resources/src/ directory
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 6 Sep 2019 00:32:38 +0000 (01:32 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 6 Sep 2019 00:35:33 +0000 (01:35 +0100)
commitf3659b8d27b169ee1b0db950c1f2839a54139a35
tree6f22ef956116429e6fd01ae17cdd371d0b208d30
parent7d02a606752cc21b10cddfd806b5dc80c0de904b
mediawiki.util: Move to its own resources/src/ directory

It only has one real file right now, but per T193826 modules that are bound
to an explicit directory should have already gotten its own directory.

Anyway, this'll make it easier to add other files in it in a separate
commit.

Change-Id: Iae7d270bf08d5a623b0a90c37c7cfc0c8e424a76
resources/Resources.php
resources/src/mediawiki.util.js [deleted file]
resources/src/mediawiki.util/util.js [new file with mode: 0644]