Author: manfredfr

Description:
I switched off Ajax in LocalSetting.php by using $wgUseAjax = false. Still some pages included the script ajax.js.

The reason for this was the file cache which has not been invalidated by updating LocalSettings.php.

The cause for the problem is the following:
index.php is trying the file cache in line 85:

if( $cache->isFileCacheGood( /* Assume up to date */ ) ) {

isFileCacheGood in HTMLFileCache.php reacts this way:

if( !$timestamp ) return true; // should be invalidated on change

Therefore the cached page is used and $wgCacheEpoch is ignored.

The correct code for isFileCacheGood is:
if( !$this->isFileCached() ) return false;

$cachetime = $this->fileCacheTime();
if( !$timestamp && ( $wgCacheEpoch <= $cachetime) ) return true; // should be invalidated on change

$good = ...

Version: 1.15.x
Severity: major