On Tue, Aug 23, 2011 at 2:22 PM, Thomas Gries mail@tgries.de wrote:
...today when trying to use trunk versions, I got "ERROR: Version mismatch between Javascript and PHP code. Contact admin to fix the installation of Collection extension for MediaWiki"
That's entirely on the PHP & JS sides, now with mismatched version numbers since r91772:
http://www.mediawiki.org/wiki/Special:Code/MediaWiki/91772#c21347
-- brion