On 06/02/07, David Gerard dgerard@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