I'm using the runphp extension (
http://meta.wikimedia.org/wiki/Runphp
). I'm trying to generate dynamic content using the PHP, so I don't want
the page to get stored in the cache. I tried added a call to
$wgParser->disableCache() to the end of the runphp hook function (before
the return statement obviously). The editUpdates function in Article.php
has a call to $parserCache->save() that doesn't take into account the
disableCache() call made earlier so I had to wrap the
$parserCache->save() call with an if statement:
if ($poutput->getCacheTime() != -1) {
# Save it to the parser cache
$parserCache =& ParserCache::singleton();
$parserCache->save( $poutput, $this, $wgUser );
}
I am just wondering if there is a better way to do this without having
to change the core mediawiki files, or if this should be added.
Thanks....