jenkins-bot has submitted this change and it was merged.
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hook into page protection.
Split parts
jenkins-bot has submitted this change and it was merged.
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hook into page protection.
Split parts
Matthias Mullie has uploaded a new change for review.
https://gerrit.wikimedia.org/r/81260
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hoo
Matthias Mullie has uploaded a new change for review.
https://gerrit.wikimedia.org/r/81259
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hoo
Tychay has submitted this change and it was merged.
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hook into page protection.
Split parts of do
Matthias Mullie has uploaded a new change for review.
https://gerrit.wikimedia.org/r/64620
Change subject: Make it slightly easier for extensions to hook into page
protection.
..
Make it slightly easier for extensions to hoo