On 10/25/06, Mark London <mrl(a)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