From a5f83ab29075c9f958fcd611a990aa09de422e94 Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Sat, 18 Feb 2012 00:42:41 +0000 Subject: [PATCH] Add missing dependency of mediawiki.user to mediawiki.api.watch. May resolve some of bug 34450 --- resources/Resources.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/Resources.php b/resources/Resources.php index f43553f6e2..626e5ffb0e 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -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', -- 2.20.1