[00:42:28] is there a way that extensions can provide wiki page text? e.g. for help pages that are stored in text files in the extension code [01:58:37] samwilson: Register text as messages and load those message strings on said page? I'm not very clear on what you mean. [02:00:08] Niharika: yeah i thought of that. but i mean for whole long pages of text, and perhaps even images [02:00:22] for packaging extension docs with the extension [02:13:42] samwilson: just link to docs on mediawiki.org? [02:14:28] legoktm: no, I was just wondering about doing something like we've done on xtools, where the docs are in the repo, and so are valid for whatever version is installed [02:14:46] samwilson: option 1 is to put it as a Special page. option 2 is to have your db updater automatically create the pages [02:14:59] like the whole readthedocs.org thing [02:15:02] I'd recommend against option 2, as some wikis may not want there to be doc pages in the wiki itself [02:15:16] Skizzerz: that's sort of what i was thinking [02:15:25] how are you planning to have the docs be internaiontalized? [02:15:46] if it was a special page presumably you'd display the content in the user's language [02:15:53] legoktm: good point. i'm not planning on doing this; just thinking aloud really :) [02:15:58] but [02:16:05] just putting the docs on mw.org is probably best [02:16:17] you can add tags saying "This was added in version X.Y" if you want [02:16:24] (or "This was removed in version X.Y") [02:16:34] idk if you can co-opt the existing templates for that [02:17:10] Skizzerz: yeah, that's the easiest way it seems [02:48:39] anyone familiar with DPL cache and how to "flush" it? [02:58:19] c: Just delete the contents? [02:59:04] if ( !$bDPLRefresh && file_exists( $cacheFile ) ) { [03:00:43] Reedy: delete the contents of $wgUploadDirectory/dplcache/ ? [03:00:49] yeah [03:00:56] wasn't sure if that was safe to do [03:01:02] it's 11GB worth of stuff! [03:03:16] it's a cache... [03:05:18] just paranoid. should i leave the 10 directories and empty the contents of each? 0-9 [03:14:02] Can if you want [03:14:05] Don't need to [03:14:11] wfMkdirParents( dirname( $cacheFile ) ); [03:14:58] That extension is horrible to look at [03:15:12] c: It's almost always safer to move something out of the way before deleting it. [03:15:17] c: if you're worried about accidental deletion, you could move the whole directory somewhere else, and make sure everything's running properly before deleting it premanently [03:15:24] Heh. [03:15:28] :) snap [03:27:26] Reedy: aye, time to make it less puke amirite [07:18:10] hello