Erik wrote:
Done, but I'd prefer not to flush the page cache for performance reasons.
Fair enough, and thanks (I knew asking for developer access would scare one of you guys into action ;).
-- Daniel Mayer (aka mav)
wikitech-l@lists.wikimedia.org