height:24px;
margin-right: 10px;
}
</style>
<div id="main">
<h1 id="mainTitle">PLUGINS</h1>
<?php
include_once "classes/Plugins.php";
include_once "classes/PluginForm.php";
$pluginForm = new PluginForm(1, "auto");
echo "<div id='pluginHolder'>";
echo displayPlugins("default");
echo "</div>";
echo "<div id='pluginViewer'>";
if ($_GET['pluginaction'] == 'showPlugin') {
echo displayPluginContent();
} else {
echo "No plugins selected";
}
echo "</div>";
?>
<?php
include "footer.php";
?>
<?php
break;
case $_GET['delete']:
$propertyForm->success("Deleted successfully");
break;
}
if ($_GET['tab'] == 1 || $_GET['action'] == userManage) {
displayUserManagement();
} else {
if ($_GET['tab'] == 2 || $_GET['action'] == groupManage) {
displayGroupManagement();
} else {
if ($_GET['tab'] == 3 || $_GET['action'] == dashWidgets) {
displayDashboard();
} else {
if ($_GET['tab'] == 4 || $_GET['action'] == plugins) {
displayPlugins();
} else {
if ($_GET['action'] == paths && $_GET['mode'] == autodetect) {
autodetectPaths();
displayPaths();
} else {
if ($_GET['tab'] == 5 || $_GET['action'] == paths) {
displayPaths();
} else {
if (isset($_POST['saveDashboard'])) {
updateDashboard();
} else {
if (isset($_POST['savePlugins'])) {
updatePlugins();
} else {
if (isset($_POST['plugin_update'])) {
