Brian <Brian.Mingus <at> colorado.edu> writes:
And of course Special:Version code has changed since the last time I ran that code, meaning there is really no reliable way to know what version of MediaWiki Wikipedia is running anyway.
You can get http://en.wikipedia.org/w/api.php?action=query&meta=siteinfo&format=... and look for /\brev="(\d)"/. A separate SVN branch for the version used on live Wikimedia wikis would be a great improvement, though.