Issue:Caching on Mediawiki 1.13

Description:	Pages with DPL in Mediawiki 1.13.2 are not updated
Extension / Version:	DPL   /   1.7.2
Type / Status:	Bug   /   open

Problem

In mediawiki 1.13.2, a page with a DPL report is not updated until the page itself is changed. It would appear that the page is cached.

It can be worked around by setting (in Localsettings.php)

$wgMainCacheType = CACHE_NONE;
$wgMessageCacheType = CACHE_NONE;
$wgParserCacheType = CACHE_NONE;

I'm not sure which subset of those is required, other things break when I turn them off individually.