basename($_SERVER['SCRIPT_FILENAME']); // git.php