[00:02:28] 03(mod) Requesting rewritten subpagelist extension for Wikiversity - 10https://bugzilla.wikimedia.org/show_bug.cgi?id=13066 (10brion) [00:13:02] oh cool, I found it out myself [00:13:23] anyone interested in the solution? [00:15:11] well, if not, just ignore me, but I will tell you now [00:15:40] the problem was, I wanted to disable the toolbox at the right side for users that are not logged in [00:16:43] I knew I had to change something in the the php-file of my custom skin [00:17:26] lol, Duesentrieb, I remembered last night where I had heard your nick.. in America we call you "Gyro Gearloose" ;) [00:17:51] uh, yes, i know... [00:18:17] I know you know, I just wanted to tell you that I had a eureka moment and remembered reading dagobert duck comics :) [00:18:36] I located the creation of the toolbox and wanted to put the whole creation into an if-statement. The problem was, I did not know the condition to check for. Now I know, it is $wgUser->isLoggedIn() [00:18:54] snopy1alpha: congratulations :) [00:19:34] sometimes it is too easy ;-) [00:20:44] I wonder if my question was a stupid thing to ask ... [00:25:13] I have a page that won't include, what can I do? [00:26:56] anyway, thanks for agonizing my babble ;-) [00:33:56] if I want to style ToC sections differently, how would I do that? [00:34:31] ie, = Step 1