Remove core plugins from core repository

1 files changed, 0 insertions, 23 deletions

diff --git a/plugins/AdminTools/admin.php b/plugins/AdminTools/admin.php
deleted file mode 100644
index ecd52115d..000000000
--- a/plugins/AdminTools/admin.php
+++ /dev/null
@@ -1,23 +0,0 @@
-<?php
-defined('ADMINTOOLS_PATH') or die('Hacking attempt!');
-
-if (isset($_POST['save_config']))
-{
-  $conf['AdminTools'] = array(
-    'default_open' => isset($_POST['default_open']),
-    'closed_position' => $_POST['closed_position'],
-    'public_quick_edit' => isset($_POST['public_quick_edit']),
-    );
-
-  conf_update_param('AdminTools', $conf['AdminTools']);
-  $page['infos'][] = l10n('Information data registered in database');
-}
-
-
-$template->assign(array(
-  'AdminTools' => $conf['AdminTools'],
-  ));
-
-
-$template->set_filename('admintools_content', realpath(ADMINTOOLS_PATH . 'template/admin.tpl'));
-$template->assign_var_from_handle('ADMIN_CONTENT', 'admintools_content');