GarbageCollect.php
public static function drop($file, $verbose = false)
    {
        if (is_dir($file)) {
            @rmdir($file);
        } else {
            @unlink($file);
        }

        if ($verbose) {
            echo "> Dropping $file...\n";
        }
    }
public static function drop($file, $verbose = false)
    {
        if (is_dir($file)) {
            @rmdir($file);
        } else {
            @unlink($file);
        }

        if ($verbose) {
            echo "> Dropping $file...\n";
        }
    }
public static function drop ( $ file , $ verbose = false ) { if ( is_dir ( $ file ) ) { @ rmdir ( $ file ) ; } else { @ unlink ( $ file ) ; } if ( $ verbose ) { echo "> Dropping $file...\n" ; } }
Drops a file or an empty directory.
Drops a file or an empty directory .