Add revert plugin to protected plugins list

darcs-hash:20080116152844-d26fc-8d936fe9235ddc0b5d092f3de25c9b3ec789c028.gz

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