Difference between revisions of "Issue:Caching on Mediawiki 1.13"
From FollowTheScore
(New page: {{Issue |Type = Bug |Extension = DPL |Version = 1.7.2 |Description = Pages with DPL in Mediawiki 1.13.2 are not updated |Status = open }} == Problem == In mediawi...) |
|||
| Line 10: | Line 10: | ||
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. | 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) | ||
| + | <pre> | ||
| + | $wgMainCacheType = CACHE_NONE; | ||
| + | $wgMessageCacheType = CACHE_NONE; | ||
| + | $wgParserCacheType = CACHE_NONE; | ||
| + | </pre> | ||
| + | I'm not sure which subset of those is required, other things break when I turn them off individually. | ||
== Reply == | == Reply == | ||
Latest revision as of 19:07, 17 October 2008
| 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.
