[05:44:02] <Poppy>	 The dump divisions are aggravating.
[06:10:18] <apergos>	 ?
[06:18:22] <harmaahylje>	 ??
[06:26:13] <apergos>	 Poppy: what dump divisions? 
[07:31:11] <Poppy>	 I think "Articles, templates, media/file descriptions, and primary meta-pages" has been confusing for a long time.
[07:32:03] <Poppy>	 Basically what you all were saying earlier. I think we should divide by namespace or something more explicit.
[07:36:05] <Poppy>	 Or if nothing else, we should at least mention that like portal pages are included somewhere like https://dumps.wikimedia.org/enwiki/20191120/
[07:38:12] <Poppy>	 https://phabricator.wikimedia.org/T20919 &c.
[08:11:29] <apergos>	 total pages in the pages-articles dump: 19799262    of those, pages in the main namespace: 4881350     so we don't gain that much by excluding them
[08:13:33] <apergos>	 what you want maybe is a tool to filter out the namespaces you don't need. that would be mwdumper once it is updated 
[08:13:35] <apergos>	 https://www.mediawiki.org/wiki/Manual:MWDumper#Complex_filtering
[13:02:20] <apurkrt>	 hi, how can I tell the wiki is in readonly mode without logging in?
[13:02:49] <apurkrt>	 I added $wgReadOnly = 'This wiki is currently being migrated to a newer server. Please check back in a couple of hours.';
[13:03:10] <apurkrt>	 to the beginning of LocalSettings.php
[13:03:28] <apurkrt>	 and nothing changed on the log in page
[13:05:57] <apurkrt>	 (I do not have the credentials for the wiki, just for the server and database, so I can't login)