[MediaWiki-commits] [Gerrit] mediawiki...Cognate[master]: Implement hook for deleted pages

2016-09-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Implement hook for deleted pages .. Implement hook for deleted pages Change-Id: If25f56c31b94f8d6db204deffe3fa732ebaeafc5 --- M extension.json M

[MediaWiki-commits] [Gerrit] mediawiki...Cognate[master]: Implement hook for deleted pages

2016-09-19 Thread Addshore (Code Review)
Addshore has uploaded a new change for review. https://gerrit.wikimedia.org/r/311440 Change subject: Implement hook for deleted pages .. Implement hook for deleted pages Change-Id: If25f56c31b94f8d6db204deffe3fa732ebaeafc5