Merge branch 'feature/hello-github' into develop

1 files changed, 0 insertions, 31 deletions

diff --git a/plugins/AdminTools/maintain.class.php b/plugins/AdminTools/maintain.class.php
deleted file mode 100644
index 2e89968fd..000000000
--- a/plugins/AdminTools/maintain.class.php
+++ /dev/null
@@ -1,31 +0,0 @@
-<?php
-defined('PHPWG_ROOT_PATH') or die('Hacking attempt!');
-
-class AdminTools_maintain extends PluginMaintain
-{
-  private $default_conf = array(
-    'default_open' => true,
-    'closed_position' => 'left',
-    'public_quick_edit' => true,
-    );
-
-  function install($plugin_version, &$errors=array())
-  {
-    global $conf;
-
-    if (empty($conf['AdminTools']))
-    {
-      conf_update_param('AdminTools', $this->default_conf, true);
-    }
-  }
-
-  function update($old_version, $new_version, &$errors=array())
-  {
-    $this->install($new_version, $errors);
-  }
-
-  function uninstall()
-  {
-    conf_delete_param('AdminTools');
-  }
-}