(bug 54980) Remove toolbox UserRights if anon user
authoraddshore <addshorewiki@gmail.com>
Sat, 5 Oct 2013 14:20:52 +0000 (16:20 +0200)
committeraddshore <addshorewiki@gmail.com>
Sat, 5 Oct 2013 14:43:44 +0000 (16:43 +0200)
commitc817d8677cb21dd546fcdb52a05f03ea32f2df86
tree47a3c4f41ccd961b423c16d4e69bbc42e209a558
parenta6169910ea1e9e63b83595f06f444cde8cb2bfcd
(bug 54980) Remove toolbox UserRights if anon user

Change-Id: Ie489ce327a56cf314c9dc525d6bd3eaa39739260
includes/SkinTemplate.php