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 :-/