installed = true; // } // function activate($plugin_version, &$errors=array()) // { // if (!$this->installed) // { // $this->install($plugin_version, $errors); // } // } // function deactivate() // { // } // function uninstall() // { // conf_delete_param('AdminTools'); // } // }