Watchlist caching, and some junk in DefaultSettings.php which will hopefully be used...
authorTim Starling <tstarling@users.mediawiki.org>
Sun, 25 Jan 2004 02:33:34 +0000 (02:33 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Sun, 25 Jan 2004 02:33:34 +0000 (02:33 +0000)
commitc6ac74db2bc73aa1438ef3955c851004a6bace4b
treed543166d48eb376f40f40de6f2ab5ecc87b923f3
parentb0f510df565d206379d543efdc2b7550d4585107
Watchlist caching, and some junk in DefaultSettings.php which will hopefully be used eventually
includes/DefaultSettings.php
includes/SpecialWatchlist.php