[09:39:43] hoi [09:40:41] i want to change the caption ("Tools") of the toolbox in the sidebar... can anyone give me a hint? all i could find are hints on how to change the content of the toolbox [09:42:29] groepaz: MediaWiki:toolbox ? [09:43:18] lol [09:43:22] i feel stupid now [09:43:25] thanks :) [09:44:22] appending `?uselang=qqx` to the url shows message names :) [10:50:45] This might be an odd question, but can I lock a skin behind a user right? [10:51:46] In theory? Yes. Easily? Probably not so much [10:52:15] Haha, well in that case nevermind. [10:52:51] Currently doing some testing that requires me to preview on production. Was hoping to keep people from seeing it show up, but I guess it doesn't matter that much. [10:56:44] Get a proper staging environment, copy of production [11:00:19] You could hide it from the AvailableSkins I guess [11:10:38] I do have a proper staging environment, the problem is the people I'm working for [11:11:28] isnt that always the problem? :) [11:12:31] Whoa, what just happened there? [11:13:13] netsplit [11:14:03] two servers in this irc network lost connection from each other, meaning that we don't see people on the other side of the split until it fixes itself [11:15:46] So if I understand correctly, this IRC is supported by a cluster of servers, and if one detaches, people connecting via that server lose access to the main chat? [11:16:44] yes [11:16:45] pretty much yes, https://en.wikipedia.org/wiki/Netsplit [11:17:35] Neat. Thanks for the explanation! Learned something new.