<?php

/**
 * File for displaying div for tools.
 * Call:   call.PluginTool.display.php [?list=true]
 */
require '../inc/class.Frontend.php';
$Frontend = new Frontend();
if (!isset($_GET['list'])) {
    PluginTool::displayToolsHeader();
}
PluginTool::displayToolsContent();
Esempio n. 2
0
 /**
  * Constructor.
  * @param $argv array command-line arguments
  */
 function managePlugin($argv = array())
 {
     parent::PluginTool($argv);
 }