info.php: deleted