[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceExtensions[master]: PageAssignments: added hook listener for user delete and gro...
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/337796 ) Change subject: PageAssignments: added hook listener for user delete and group delete/rename. .. PageAssignments: added hook
[MediaWiki-commits] [Gerrit] mediawiki...BlueSpiceExtensions[master]: PageAssignments: added hook listener for user delete and gro...
Nasty has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/337796 ) Change subject: PageAssignments: added hook listener for user delete and group delete/rename. .. PageAssignments: added hook listener for