[11:55:48] I somehow managed to break my fresh installation in such a way that when I click on "Change password" in the user preferences, the backslashes in the URL get URL-encoded twice. anyone ever had this? [11:56:13] I set up a second wiki on the side and repeated some changes I had made, but couldn't reproduce the issue [11:57:49] maybe I'll just set it up anew. was almost empty. [12:23:06] huh, I removed the mediawiki directory, untarred the latest version anew and copied over my LocalSettings.php, and the problem persists. I suppose something in the database is broken? :-( [12:27:25] I don't think we store anything in the DB that would affect that [12:28:43] Reedy: I would've thought so as well... any idea what it might be? [12:30:12] Webserver/php config. LocalSettings maybe? [12:49:06] I re-ran the setup and now it works, even though the LocalSettings.php that resulted is basically the same. oh well. mysteries. [12:49:33] it might have been $wgServer [12:49:37] anyway, gotta go [18:58:21] hello, please, could someone help me with adding buttons into wikieditor toolbar (on wikipedia)? or point to some *working* code? [19:05:23] He's working on test-wiki and trying to add buttons to insert text. [19:07:22] hum4n_: Sorry I couldn't answer, I hope someone here can point you further in the right direction. [19:09:35] hum4n_: hey, so what're you trying to do? [19:09:51] (waggie told me you wanted to add a button to insert text during the editing process?) [19:10:18] enterprisey: yes [19:10:36] i tried some codes, but they doesnt work for me - https://test.wikipedia.org/wiki/User:Human./common.js [19:20:21] oof I'm not good at the wiked api [19:25:12] enterprisey: i dont mean wiked, just the regular wikieditor