Adding new jquery plugins to Resources.php so they'll be available through ResourceLo...
authorIan Baker <raindrift@users.mediawiki.org>
Thu, 4 Aug 2011 20:52:40 +0000 (20:52 +0000)
committerIan Baker <raindrift@users.mediawiki.org>
Thu, 4 Aug 2011 20:52:40 +0000 (20:52 +0000)
commit59a4e49976e00aa80277e53f4e7b08735884a1b6
treee64fdf6797cd4f60c4c07fc5df19341e48e8d4fb
parentaa1bc6f742c04b70681f4186cb9bf3fa30ec8a11
Adding new jquery plugins to Resources.php so they'll be available through ResourceLoader, followup to r93908
resources/Resources.php