• John Walker posted an update in the group Group logo of UpdatesUpdates 3 months, 3 weeks ago

    2020 August 10

    Updated the User Role Editor plug-in to version 4.56.  This is a
    trivial update affecting only 7 files and changing nothing we
    use.  They added some new capabilities we don't use, and fixed a
    couple of bungles that don't affect us.  We have no local code
    in this plug-in, so after syntax checking the changes, I simply
    applied the update kit.  After installation, I checked the
    setting and all appeared to be in order.
    There have been no problems with the User Role Editor since
    installation of the version 4.56 update, so I committed the
    changes (Build 487) and published to GitHub.