Add missing dependency of mediawiki.user to mediawiki.api.watch. May resolve some...
authorAndrew Garrett <werdna@users.mediawiki.org>
Sat, 18 Feb 2012 00:42:41 +0000 (00:42 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Sat, 18 Feb 2012 00:42:41 +0000 (00:42 +0000)
resources/Resources.php

index f43553f..626e5ff 100644 (file)
@@ -537,7 +537,7 @@ return array(
        ),
        'mediawiki.api.watch' => array( 
                'scripts' => 'resources/mediawiki.api/mediawiki.api.watch.js',
-               'dependencies' => 'mediawiki.api',
+               'dependencies' => array('mediawiki.api', 'mediawiki.user'),
        ),
        'mediawiki.debug' => array(
                'scripts' => 'resources/mediawiki/mediawiki.debug.js',