[Mediawiki-l] Caching problem with inline PHP scripts