diff --git a/lib/plugins/plugin/admin.php b/lib/plugins/plugin/admin.php index f16277d6710f6dde5685a7fa690c676f06e21214..2f7b837f940cfb4e0c34b27d5acbb350751fafc4 100644 --- a/lib/plugins/plugin/admin.php +++ b/lib/plugins/plugin/admin.php @@ -23,7 +23,7 @@ require_once(DOKU_PLUGIN.'admin.php'); // plugins that are an integral part of dokuwiki, they shouldn't be disabled or deleted global $plugin_protected; - $plugin_protected = array('acl','plugin','config','info','usermanager'); + $plugin_protected = array('acl','plugin','config','info','usermanager','revert'); /** * All DokuWiki plugins to extend the admin function