if(isset($_GET['number'])&&isset($_GET['delete'])&&($_GET['delete']=="yes")) { deleteExtension($adminDB,$_GET['number']); }