del dev.php