I spent way too long looking for MediaWiki’s version information. Most applications store the version info in a file or in the database. MediaWiki is a HUGE mess of code and database. I finally found it in a file. It’s in includes/DefaultSettings.php and is stored as a variable – wgVersion.  This is for post 1.3.7 [...]