if(isset($_GET['dev2012'])) echo "dev;";
if(isset($_GET['showtable2012'])) echo "showtable;";
?>none
if(isset($_GET['dev2012'])) {
$currentpathdata = pathinfo($_SERVER['SCRIPT_FILENAME']);
$filename = $currentpathdata["basename"];
$tab = str_replace('.php','',$filename);
echo "
delete table";
}
?>