[Mediawiki-l] How to check MW version?

[Jérémie Bouillon]

Rob Church wrote:
 > Special:Version takes the version number from $wgVersion, which is set
 > in DefaultSettings.php and should never be changed, but if it boils
 > down to having mixed-up files, then all this guarantees is that that
 > version of DefaultSettings.php is from a particular release.

Indeed, the file says 1.7.1.

Is there another way to check?

Following the worst case scenario, if I update (probably a svn update) 
my version to 1.8.2 and run the update php script, will it screw things 
up if it's not really a 1.7.1?

Sorry for the dumb questions :-/