On 10/25/06, Mark London mrl@psfc.mit.edu wrote:
I actually modified the mediawiki file that controls the cache headers, and turned off all caching.
Probably better to set "$wgCachePages = false;" in LocalSettings.php than to change MediaWiki source.
Dan