[08:32:28] Hello [08:33:15] If someone can help me, I have question about page list [09:24:04] !ask | RomainLalande [09:24:04] RomainLalande: Please feel free to ask your question: if anybody who knows the answer is around, they will surely reply. Don't ask for help or for attention before actually asking your question, that's just a waste of time – both yours and everybody else's. :) [11:50:22] How would you go about creating a development environment based on a production version of a MediaWiki site? Would just creating a database dump of the production database, and then installing the corresponding mediawiki version work? [11:53:22] that's what i'd do, yep. [11:58:36] Morbus: thanks! I will definitely try that route then. [13:07:56] Does anyone know where I could download version 1.19.0? I have configured 1.19.24 for my development environment now, but I am unsure if it will work, since the production version is on 1.19.0 [13:08:21] Find a tarball link? [13:08:25] Git tags? [13:08:27] Git branches? [13:08:34] https://releases.wikimedia.org/mediawiki/1.19/ <-- does not list 1.19.0 [13:09:09] Will have to look into MediaWiki Git then [13:14:55] Reedy: thanks for your suggestions [13:21:32] it was simple enough, it is in the git repository indeed [13:33:42] only problem was that the install script was missing text, but I had just previously installed another version so I remembered where to tick. :) [13:35:41] I mean the text after each option etc. [13:39:11] harmaahylje: As usual, best advise is to get upgraded [13:39:22] Though, I'm presuming if you're setting up a dev environment with the same data... That's your plan :) [14:02:15] Reedy: Sadly I have no control over that. I have suggested upgrading, hopefully the hosting party has resources to do that. I am just there to develope/fix some features. [14:02:44] It's not supported anyway.. And will have known and fixed security issues in newer releases [14:04:05] I am completely aware of that, checked the CVE's. :/ [16:16:49] Hi, I've just restored a wiki from a database backup and it looks like the the auto increment counters have not come over (using MySQL) [16:17:08] wondering if anyone happens to have come across this before / happens to know an easy fix? [16:17:28] in the meantime, I'm off to check the mysqldump parameters and what it generated [16:24:03] GlennS: i guess just do this? http://stackoverflow.com/questions/970597/change-auto-increment-starting-number [16:24:19] yeah, that'll probably do it [16:24:40] just wondering if it'll be broken in some sort of other places [16:55:21] turns out I accidentally exported the database in postgres compatability mode, which is why it didn't have any of the auto increment stuff [16:55:22] whoops [16:55:25] fixed now though :)