jenkins-bot 5e41f3ff97 Merge "Remove interface admin right changes explanation"		2020-10-06 18:49:54 +00:00
..
Hook	Document hook names in hook interfaces.	2020-09-27 12:03:12 +02:00
PermissionManager.php	Merge "Remove interface admin right changes explanation"	2020-10-06 18:49:54 +00:00