[Ravhin]

Hi,

Thanks for the investigations - I looked again at this, but it seems still a mystery, i.e. not reproducible behavior. Some failure of the wiki I don't understand.

Anyways, I fixed it in the most hacky way possible, in keeping with the spirit of things!

  if( time() - $cacheTime < $fCreated ) { // show file from cache if still valid
    $output = file_get_contents($cacheFileName);

    // check for corrupt cache, if so, discard and remake now
    if (strpos($output, '"zoneTopTable"') === false)
      {
        $wgOut->addHTML( $output );
        return;
      }
  }

If anyone can now see a page which is still broken, let me know.