[04:51:26] <ningu>	 it looks like importDump.php will not replace the Main_Page on a new wiki because the new wiki will have a page that's dated more recently
[04:51:35] <ningu>	 is there any sensible way around that?
[04:53:27] <Skizzerz>	 ningu: delete Main_Page on the wiki before running the import
[04:54:06] <Skizzerz>	 (or possibly better: move Main_Page to a different page name without leaving a redirect; that will fully clear the history for it)
[04:54:48] <ningu>	 Skizzerz: hrm ok... and if I want a general solution, can I delete _all_ pages on the new wiki?
[04:55:39] <Skizzerz>	 do you care about the users? If no just make a fresh install
[04:55:55] <ningu>	 well that's what I am trying to do
[04:56:11] <Skizzerz>	 on a new install the only page created by default is the Main Page
[04:56:19] <ningu>	 ahh ok got it
[04:56:24] <ningu>	 that was my confusion :)
[04:56:34] <ningu>	 so the Special:* etc doesn't count
[04:56:39] <Skizzerz>	 no, nor can you delete them
[04:56:41] <ningu>	 don't want to change those anyway
[04:56:47] <Skizzerz>	 nor can you "import" over them
[04:56:59] <ningu>	 sure. not a problem, just want to cover all bases
[04:57:06] <ningu>	 sounds like delete Main_Page and we'll be good
[04:57:26] <Skizzerz>	 should be, yes
[04:58:07] <ningu>	 what is the right maintenance script to delete a page?
[04:58:28] <ningu>	 deleteBatch.php I guess?
[04:59:36] <Skizzerz>	 I'd just recommend deleting via the UI personally
[04:59:46] <ningu>	 can't do that as this is from a shell script
[04:59:54] <ningu>	 but fair enough
[05:01:53] <Skizzerz>	 you could curl the mediawiki API with action=delete but then you'd have to worry about auth stuff
[05:02:02] <ningu>	 yeah
[05:02:06] <ningu>	 that's why I do it the dumb way
[05:02:14] <Skizzerz>	 deleteBatch can work for deletion, but not every action on the wiki has a corresponding maintenance script
[05:03:22] <ningu>	 yeah I know
[05:03:38] <ningu>	 I've used the api before
[05:03:50] <ningu>	 mostly for reading stuff out though, not making changes
[13:22:07] <SilverKiwi95>	 Can you tell me how to creat a sandbox in user space?
[13:23:53] <SilverKiwi95>	 Same arrogant persons.........am leaving
[13:23:53] <stwalkerster>	 SilverKiwi95: exactly the same as creating other pages. I suspect this is about the English Wikipedia?
[17:47:41] <revansx[m]>	 as an admin of the server and a sysop in the wiki, is there any easy way to see who is using what skin? .. I'd like to eliminate a certain skin, but I don't know what the impact will be on the users who are using that skin. any suggestions?
[17:49:49] <revansx[m]>	  * as an admin of the server and a sysop in the wiki, is there any easy way to see who is using what skin? .. I'd like to eliminate a certain skin in a site upgrade, but I don't know what the impact will be on the users who are using that skin. any suggestions?
[17:53:17] <jorm>	 Just eliminate the skin.
[17:56:18] <Reedy>	 Lol
[18:23:06] <sknebel>	 User_settings database table, "up_property" == "skin"?
[18:23:13] <Skizzerz>	 revansx[m]: do you have direct access to the server/database?
[18:24:53] <Skizzerz>	 if so, what sknebel said is the way of going about it
[18:25:16] <Skizzerz>	 SELECT COUNT(*) FROM user_properties WHERE up_property = 'skin' AND up_value = 'skinname';
[18:27:08] <Skizzerz>	 that'll let you know how many people are using the skin
[18:27:33] <Skizzerz>	 (with a DELETE query you can instead force those users back to the default skin)
[18:37:55] <revansx[m]>	 perfect. thanks!
[18:38:33] <revansx[m]>	 yeah, I do have direct access to the database. this is exactly what I needed. thanks guys
[23:53:54] <togaparty>	 Hello! I need some help setting up debug logs. I followed https://www.mediawiki.org/wiki/Manual:How_to_debug#Logging and inserted $wgDebugLogFile = "log/debug-{$wgDBname}.log"; In my LocalSettings.php, restarted httpd, but still have an empty log folder