Merge pull request #28523 from jaapjansma/role_permission_ui
authorRich Lott <artfulrobot@users.noreply.github.com>
Fri, 15 Dec 2023 11:31:33 +0000 (11:31 +0000)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2023 11:31:33 +0000 (11:31 +0000)
commitbdf8ba4048c8bfe996636507d68995e199e262da
treef8894fd0b90c66274d9c3af8c18466b6e069f5f5
parentcff3b391b9b7318e75233d1e895913e8ba9614fb
parent5e8836e7f375d10e60f768b27d493699f278b783
Merge pull request #28523 from jaapjansma/role_permission_ui

dev/core#4835 Standalone Permissions user interface
ext/standaloneusers/managed/SavedSearch_Administer_Roles.mgd.php