2019 July 15
Updated the User Role Editor plug-in to version 4.51.2. This is a minor update which fixes labels in dialogue buttons and sorts items in drop-down lists into alphabetical order. We have no local code in this plug-in. After installing the update, I walked through its settings pages and nothing looked amiss. The ability to delete obsolete capabilities registered by plug-ins, of course, remains broken as it has been ever since we installed this plug-in. Committed the User Role Editor plug-in version 4.51.2 update (Build 334) and published on GitHub.