resources: Switch oojs to the version optimised for environments with jQuery
authorJames D. Forrester <jforrester@wikimedia.org>
Wed, 23 Jul 2014 19:57:40 +0000 (12:57 -0700)
committerJames D. Forrester <jforrester@wikimedia.org>
Wed, 23 Jul 2014 19:57:40 +0000 (12:57 -0700)
commit0618e89be2362130ca4703046800db1ace05e05a
tree30434dfad865e7498ff3bce0b616b8fde5cda27c
parent3d4d53408f4acdad26e45153ab7cb8952b39c63d
resources: Switch oojs to the version optimised for environments with jQuery

Change-Id: Ic8cc04c2e89203825efe64ecc3c91d0cae0b2daa
maintenance/resources/update-oojs.sh
resources/Resources.php
resources/lib/oojs/oojs.jquery.js [new file with mode: 0644]
resources/lib/oojs/oojs.js [deleted file]