The infobox tells that this extension is compatible with MW 1.25 or higher. The installation chapter says insistent: "Use MediaWiki 1.25 and install this extension. Still in MediaWiki 1.25, run update.php.". Yet a few lines later in the installation chapter the instructions regarding the needed code in the LocalSettings.php file are suggesting that one can install this in MW 1.24 or in an earlier version. Why should one do this if exact MW 1.25 is needed?
Or, asked the other way around, if I do this:
- Installation of this extension in MW 1.23.17
- Running update.php after installation in MW 1.23.17
- Update to MW 1.31.1
- Hit counters are still available and counting???