[MediaWiki-commits] [Gerrit] Rename Hooks.php - change (mediawiki...HitCounters)
jenkins-bot has submitted this change and it was merged. Change subject: Rename Hooks.php .. Rename Hooks.php Change-Id: I7663147277b5995113bdf9e8a96eb762bbc6cc7b --- R HitCounters.hooks.php M extension.json 2 files changed, 1
[MediaWiki-commits] [Gerrit] Rename Hooks.php - change (mediawiki...HitCounters)
MarkAHershberger has uploaded a new change for review. https://gerrit.wikimedia.org/r/250005 Change subject: Rename Hooks.php .. Rename Hooks.php Change-Id: I7663147277b5995113bdf9e8a96eb762bbc6cc7b --- R