On 06/02/07, David Gerard <dgerard(a)gmail.com> wrote:
I suppose getting MediaWiki to automagically clean
these out is a
locked-room problem ...
I'm not 100% sure on it, but I think the problem is that PHP dies on a
lower level, at least when parsing the file. Having MediaWiki mess
about with people's LocalSettings.php files is *possibly* a dodgy
cobbled street, especially when the software relies upon that file to
initialise itself.
Rob Church