On Sun, 20 Feb 2005 12:43:58 -0500, Sebastien BARRE sebastien.barre@kitware.com wrote:
Hello, In my extension callback, I tried the following code: $wgOut->addMeta("http:Pragma", "no-cache"); $wgOut->addMeta("http:no-cache", NULL); $wgOut->addMeta("http:EXPIRES", "TUES, 31 DEC 1996 12:00:00 GMT");
The problem is (possibly) that there are multiple levels of caching within MediaWiki, some of which are completely independent of the HTTP dialogue with the browser. Don't ask me what they all are, or how they do work, but I gather that they are many and complex. :)
See also another recent thread on the same topic: * http://mail.wikimedia.org/pipermail/mediawiki-l/2005-February/thread.html#36... (particularly http://mail.wikimedia.org/pipermail/mediawiki-l/2005-February/003632.html and http://mail.wikimedia.org/pipermail/mediawiki-l/2005-February/003635.html)
Basically, MediaWiki is designed for dynamic editting of static content; for static editting of dynamic content, you need a different tool.