From 168f022328fee27758bfd983b209a579621409f6 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Sun, 5 Jan 2014 20:31:11 +0100
Subject: [PATCH] protect extension, not plugin anymore

---
 conf/plugins.required.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/conf/plugins.required.php b/conf/plugins.required.php
index 078f6d56d..a2950b760 100644
--- a/conf/plugins.required.php
+++ b/conf/plugins.required.php
@@ -5,7 +5,7 @@
  * It is not recommended to change this file, as it is overwritten on DokuWiki upgrades.
  */
 $plugins['acl']               = 1;
-$plugins['plugin']            = 1;
+$plugins['extension']         = 1;
 $plugins['config']            = 1;
 $plugins['usermanager']       = 1;
 $plugins['template:dokuwiki'] = 1; // not a plugin, but this should not be uninstalled either
-- 
GitLab