[01:07:09] With a lot of Potato debugging, I finally found out what wasn't working. [01:07:50] The parser tried to analyse the "

" and "

" that were inside a javascript code. -_- [01:08:41] 'cause, yeah, basically I was trying to make a Gadget with that: https://www.mediawiki.org/wiki/Extension:WikiEditor/Toolbar_customization/Library#Math_button [01:14:36] And I see my solution of putting tags in comments is quite common: http://fr.wikipedia.org/wiki/MediaWiki:Gadget-CaracteresJavaScript.js [01:15:02] Couldn't this be written in the documentation of Extension:Gadgets? tsss [01:19:12] Celelibi: it's a wiki, feel free to edit it :) [01:20:10] Yeah, but I should create an account for that. [01:21:36] you should be able to edit without one [01:22:38] Oh, yes. [01:38:20] Ok, done. [01:42:14] Celelibi, legoktm: That sounds like a general mediawiki js page thing [01:42:17] rather than a gadget thing [01:43:24] Well, it's the first time I see a piece of code (that is supposed to actually work) being put into a wiki page. [01:44:31] And the weird thing is that it gave me some Error 500. [01:44:42] And not just a messed up layout. [01:44:58] what was the error in the log? [01:45:16] Which logs? [01:45:23] (I'm new to MediaWiki.) [01:46:22] your php error logs [01:46:39] I don't think I have access to them. [01:58:12] Krenair: it doesn't appear in php_error.log [04:28:56] I hate web dev so much... [09:08:02] Is the level 1 heading deprecated or something? [09:15:35] just not recommended by convention [14:04:33] hi [14:05:31] so which version is already stable? Last time I have installed last stable versions it appeared in a very short time it is not so much stable and it took me much more time to set it up [14:05:33] :-) [14:07:09] i was able to set up 1.24 without issues (aside from a bug fixed in 1.24.2) [14:08:22] I'd say MediaWiki 1.24 is the most stable release ever made. It's just in the second minor release since it was launched more than 4 months ago [14:09:40] Vulpix: well... [14:10:36] Vulpix: ok, I will take it, but if it wont work, I will "touch" my keyboard with your hed [14:10:37] had [14:12:42] in my experience, 1.22 was the most catastrophic one [14:13:08] heh, my first was 1.23 [14:14:18] 1.24.2 was only delayed because of security fixes iirc, it's meant to be on 1.24.4 or something if the original release schedule help up [14:14:19] umm 102 MB, that will take me 30 minutes to upload it [14:14:25] stupid country I live in! [14:32:43] Juandev, no shell access? [14:33:32] MaxSem: ah, yeah I should ask about it. good US webhosings were having shell access, they just wanted my id card [14:34:47] oh yeah, now I see that dump is 600 MB [14:42:55] MaxSem: is there a way I can cut dump to smaller xml files? [14:43:34] mmm, and how is it going to improve the download speed? [14:44:55] compress the dumps? [14:51:54] MaxSem: well you are right [15:02:24] search in windows, why is it so terrible?! [15:21:42] Because everything is [17:57:55] Hi, is there any way to defer loading of certain parts of a skin's styles to happen after everything else, or otherwise assure it happens asynchronously? [18:00:27] soeb: you'll have to move those styles to different modules, and load them by JavaScript using mw.loader.load() https://www.mediawiki.org/wiki/ResourceLoader/Modules#mediaWiki.loader [18:00:44] https://www.mediawiki.org/wiki/ResourceLoader/Developing_with_ResourceLoader [18:02:40] Thanks [18:03:21] Vulpix: I'll try that. Would you also happen to know if there's any way to stop things like mediawiki.legacy.commonPrint from loading? [18:04:55] what's wrong with it? [18:05:26] We just don't need it, to be honest [18:14:48] git.wikimedia.org having some issues at the moment it seems [19:08:53] GitHub is more reliable. [19:14:08] google may be indexing it at a gazillion pages per second [19:55:25] Is there a setting to categorize talk pages by its content page categories? [19:56:37] no [19:57:11] and it would probably be a mess [19:57:45] github is great and all, but the idea of everybody having their project there and only there is scary (thankfully mediawiki is hosted primarily on mediawiki.org and not there) [19:59:17] Vulpix, yeah probably. https://phabricator.wikimedia.org/T85745 is a mess as well [20:26:10] Can I allow "some users" to upload any file? [20:37:38] Celelibi: yes, create a user group and assign only them the upload right [20:37:51] does anyone know of a way that you can set up MediaWiki so that when people click an external link, it warns them that they're leaving the wiki first? [20:38:45] MC8: I wasn't clear. I would like a given group (sysop for instance) to upload anything. And the others have the normal upload restriction to png, jpeg, etc. [22:40:12] hi everyone ! [22:40:31] anyone knows what hook/configuration/whatever can be used to append a random token to the edit url ? [22:41:08] i need to force old IEs to refresh its cache and the standard configuration options provided by MediaWiki are ignored by IE [22:42:02] so when a user clicks on Edit, I'd like to load Main_Page?action=edit&random=123123 rather than just Main_Page?action=edit [23:18:53] I guess lfschenone is gone? [23:19:13] The answer is JavaScript, probably. Though it sounded like an XY problem a bit.