Renamed CacheManager to HTMLFileCache, to avoid confusion with the other sort of...
authorTim Starling <tstarling@users.mediawiki.org>
Wed, 11 Oct 2006 08:25:26 +0000 (08:25 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Wed, 11 Oct 2006 08:25:26 +0000 (08:25 +0000)
commitd411e0b1e0a23dc54e1d39573e5ee4b9f3019141
treef0b42e7c9f7dfb7c3d59c55ab2678aa617251e4f
parente64ea90020a0fa503bc20a89d4a915beb89c5f61
Renamed CacheManager to HTMLFileCache, to avoid confusion with the other sort of cache.
includes/Article.php
includes/AutoLoader.php
includes/CacheManager.php [deleted file]
includes/Database.php
includes/HTMLCacheUpdate.php
includes/HTMLFileCache.php [new file with mode: 0644]
includes/Title.php