WP Editor is a plugin for WordPress that replaces the default plugin and theme editors as well as the page/post editor.
Overrides the PMPro "Require Membership" settings and grants view access to any user assigned to the WordPress "Administrator" rol …
