Re: [Mediawiki-l] Adding a global JavaScript variable from PHP?