[MediaWiki-commits] [Gerrit] Rename Hooks.php - change (mediawiki...HitCounters)

2015-11-06 Thread jenkins-bot (Code Review)
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)

2015-10-30 Thread MarkAHershberger (Code Review)
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