From 4e71ba9d3ea40cd2d817965e5eed4a2fe1b876b3 Mon Sep 17 00:00:00 2001 From: mistic100 Date: Fri, 24 Jul 2015 22:44:39 +0200 Subject: Remove core plugins from core repository --- plugins/AdminTools/maintain.class.php | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 plugins/AdminTools/maintain.class.php (limited to 'plugins/AdminTools/maintain.class.php') 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 @@ - 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'); - } -} -- cgit v1.2.3