Delete Defs.php