in the HTML is empty [16:09:28] and nothing in either [16:09:51] sl1200mk, have you tried http://www.mediawiki.org/wiki/Manual:How_to_debug ? [16:10:05] sl1200mk, andre__: this is a known and documented problem [16:10:10] !pcre [16:10:13] meh [16:10:18] haha, 8.34? [16:10:21] I see. [16:10:32] https://www.mediawiki.org/wiki/Manual:Errors_and_Symptoms#All_pages_have_no_content.2C_but_when_editing_a_page_the_wiki_text_is_there [16:10:37] https://bugzilla.wikimedia.org/show_bug.cgi?id=58640 [16:10:55] I see. I didn't make the link. Thanks. [16:11:40] woaw!!, I'll check that, many thanx [17:00:02] Does anyone use interwiki transclusion? I've done some looking around but can't seem to find much recent about it [17:01:46] Vulpix: thanx it works [17:02:23] do you know how I can bridge users from joomla to mediawiki? [17:19:03] Hi Can The category of List of Indian satellites be included in India-related lists. [17:20:53] Viswanath: Hi! You might be looking for #wikipedia-en [17:20:58] Or you can just add it yourself :) [17:21:14] Hi @all, I try to open a Git space for updates of extension:Tooltip. I have to choose between "Merge review" and "Open push". I think MR is better, and i want my ("final") code reviewed, but reading the instructions to prepare the code for MR model, i got the impression that it's very difficult. And maybe i need more time to prepare the review, than to fix the extension... Did i get something wring here, or should i use "Open push" mod [17:21:21] Is code review only possible with MR model? [17:29:05] !git_clone [17:29:05] git clone ssh://petrb@gerrit.wikimedia.org:29418/$1.git [17:29:21] !git_clone mediawiki/core [17:29:21] git clone ssh://petrb@gerrit.wikimedia.org:29418/mediawiki/core.git [17:34:20] petan: What is that madness? [17:34:40] Lcawte: I needed a git link for mediawiki [17:34:47] !git_clone mediawiki/skins/Daddio [17:34:47] git clone ssh://petrb@gerrit.wikimedia.org:29418/mediawiki/skins/Daddio.git [17:34:51] I can't remember these cryptic addresses [17:35:35] So you wrote a function in the bot to produce links for yourself? Surely you could of just created a local script/text file to do that? [17:36:18] I created infobot key "git_clone_petrb" which indeed works for myself as well as anyone else who just replace petrb with something else :P wm-bot just autocompleted it now [17:36:48] I couldn't create local script because I regularly use more than 10 different computers [17:37:12] heya.. I just stumbled onto a bug regarding GLOBALS['wgScriptPath']. The variable seems to be set to the default value instead of the $wgScriptPath value in LocalSettings.php. Is that intentional? [17:38:42] Hi, all and have all a nice day. [17:39:21] Please, can anyone tell me how to insert a thumb of a previous version of image in Mediawiki, where a new version was uploaded? I believe it is possible, but cannot find it now... [17:45:11] !wg HTMLFormAllowTableFormat [17:45:11] https://www.mediawiki.org/wiki/Manual:%24wgHTMLFormAllowTableFormat [17:45:32] !git_clone_googlebot mediawiki/skins/Daddio [17:59:52] !class LocalFile [17:59:52] See https://doc.wikimedia.org/mediawiki-core/master/php/html/classLocalFile.html [18:02:46] Sorry, to repeat my question. Nobody knows, how to include a thumb of this kind:https://upload.wikimedia.org/wikipedia/commons/archive/6/61/20140824153830%21Syria_and_Iraq_2014-onward_War_map.png of a MediaWiki image into a page? Tx. [18:03:35] okino: [[File:Foobar.ext|250px]] [18:03:53] Oh, specifically of an archive image? [18:04:02] Reedy: Yes, specifically an archive. [18:04:31] I believe I saw somewhere it goes, but I can't find it... Maybe I am wrong... [18:06:24] okino: you can't unless you put the direct link and enable $wgAllowExternalImages (if I haven't mispelled it) [18:07:59] Hm, well, it means I messed it up. (Well, anyway, having the MediaWiki being able to do it, would be nice, and maybe not so difficult, as the images are stored in the MW database structure. Is that worth of a bug?) [18:08:34] why would you want to display an old version of a file anyway? [18:08:49] just upload a new one (under a different name?) [18:10:42] Vulpix: Uploading an old version with a different name means the file has to be stored twice, once as an old version, once as a new one. [18:11:29] if space is the problem, just delete the old revision and kill it from the filesystem [18:12:34] the problem will be the usability concerns of having old and current versions of a file displayed on a page [18:13:14] you couldn't delete old revisions without being sure they aren't being used... unless we track the usage of such old versions [18:14:46] Vulpix: Well, I am not writing about my project, but about Wikimedia Commons. It stores probably GBs or TBs of old images' versions on Commons [I do not know, what is the policy of deleting old versions there and if there is any...] and many of them (like the map I showed as an example) can be usable, but if they are, they must be duplicated. It seems quite a waste of sources. [18:16:53] isn't there a policy like "don't be afraid of our server resources" or something like that? [18:17:04] :P [18:17:33] Vulpix: Well, if there is, is it so good to be followed? :P [18:17:34] is there a way to transfer production wiki to dev wiki.. or to new wiki.. have a dev configure one custom but he has left [18:18:18] Vulpix: Well, looks like more an academic discussion. Never mind. :-) Thanks a lot. [18:20:08] VaPe: the best way would be to backup the database and restore it into a different database name, and have the dev wiki instance connect to that mirrored database [18:24:03] anything to just move content and images simply [18:24:29] Vulpix: Well, I recall another question. My webhoster deleted all my wiki, then restored it and probably copied the former database from some backup over the empty new one. However, as there were no user namespaces set before, after setting them, some of the pages simply disappeared. They can't be viewed, edited, nor deleted, but the extension that I have there still sees them (but as I cannot edit them, I cannot change the content o [18:25:26] Have you ever met with such problem and do you think there is a chance to repair it without starting a completely new wiki and setting the namespaces and other things better? [18:26:01] okino thats what i am doing starting over and just want to add content, images from old wiki [18:26:17] !namespace [18:26:17] See http://www.mediawiki.org/wiki/Help:Namespaces for user help and documentation, and http://www.mediawiki.org/wiki/Manual:Namespace for administration. For adding namespaces, see !extranamespace [18:26:40] database stores namespaces as numbers, not as their names [18:27:12] so if you remove your custom namespaces from LocalSettings.php or change their numbers, those pages won't be accessible [18:27:29] but if you restore them, they'll work as before [18:29:16] <^d> This is why we have the namespaceDupes script :) [18:31:10] @^d: This looks pretty. I will try it. Hope running the script won't make the situation even worse. :-) [18:36:10] Thank you all! Good night, morning or evening, depending on where you are :-) [18:36:32] afternoon you missed [18:37:22] maybe s/he doesn't want you to have a good afternoon! [18:38:25] thanks... so far it has not been.. [18:39:53] VaPe: :/ everything ok? [18:42:13] learning about mediawiki as previous owner sorta left no doucmentation on how it was setup [18:42:38] i want to just migrate content to another new wiki with full documentation [18:43:02] so its been a day [18:43:34] going to just sort through categories and export to xml [20:07:56] hello [20:08:12] can someone help me download wikipedia corpus [20:08:14] for Sindhi [20:08:17] please ? [20:09:07] the what? [20:18:13] Okay i found it [20:18:21] could you tell me the difference between [20:18:28] http://dumps.wikimedia.org/sdwikinews/20140822/ and http://dumps.wikimedia.org/sdwiki/20140822/ [20:19:07] i mean what does "sdwikinews" contain and is it a subset of "sdwiki" ? [20:19:21] that is sd.wikinews.org vs sd.wikipedia.org [20:19:26] they're different projects completely [20:20:22] whoa! thanks :)