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)
commita5f83ab29075c9f958fcd611a990aa09de422e94
treebc85cb3ecfd888cba7ff45c8e098402893baaebd
parent85152caf48f985273ddff9473f3b828d6a90a3ce
Add missing dependency of mediawiki.user to mediawiki.api.watch. May resolve some of bug 34450
resources/Resources.php