On Wed, 28 Jun 2006, Andy Rabagliati wrote:
On Wed, 28 Jun 2006, Tim Starling wrote:
The skin used is at skins/disabled/HTMLDump.php, you need to move it to skins/HTMLDump.php for it to work.
I cannot reach this - it comes up empty. Is it being interpreted instead?
Sorry - found it in the mediawiki source tree.
Cheers, Andy!