Final fix for #8712 : publish effective user groups to javascript.

Patch by Carl Fürstenberg http://bugzilla.wikimedia.org/attachment.cgi?id=3126

diff --git a/includes/Skin.php b/includes/Skin.php
index ed8d3de..317097e 100644 (file)
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -313,7 +313,7 @@ class Skin extends Linker {
                        'wgArticleId' => $wgTitle->getArticleId(),
                        'wgIsArticle' => $wgOut->isArticle(),
                        'wgUserName' => $wgUser->isAnon() ? NULL : $wgUser->getName(),
-                       'wgUserGroups' => $wgUser->isAnon() ? NULL : $wgUser->getGroups(),
+                       'wgUserGroups' => $wgUser->isAnon() ? NULL : $wgUser->getEffectiveGroups(),
                        'wgUserLanguage' => $wgLang->getCode(),
                        'wgContentLanguage' => $wgContLang->getCode(),
                        'wgBreakFrames' => $wgBreakFrames,