Запись [f:dev.php] < dev.sky.1.001

<?php
 
define('SKY', 'http://coresky.net/'); # http://coresky.net/
if ($_GET && 'img' == key($_GET)) require '_dev/main/image.php';
elseif ($_POST && 'ajax' == key($_POST)) require '_dev/ajax.php';
elseif (!$_GET && !is_dir('_dev')) { # single way to install fresh DEV.SKY.
    ini_set('user_agent', 'DEV.SKY.');
    file_put_contents($file = 'i_dev.php', file_get_contents(SKY . 'gate')) or exit('Cannot save file');
    # remove comment from line below if you want
    # exit("File `$file` downloaded. Check it! and open `$file` in browser.");
    header('Location: http://' . $_SERVER['HTTP_HOST'] . substr($_SERVER['SCRIPT_NAME'], 0, -7) . $file);
    exit;
}
 
define('START', 'dev');
header('Content-Type: text/html; charset=utf-8');
require '_dev/conf.php';
 
list($top_menu, $start_html, $login_form, $left_menu) = explode("\n~\n", cell(4));
$TITLE = 'DEV.SKY.';
 
if (AUTH_OK) {
    $mess = '';
    $u_str = "~user: <b>$u_sky_inet_login</b>" . ($u_profile_code ? " ($PROFILES[$u_profile_code])" : '')
        . ', logged at ' . date($u_date_format, $u_last_login_ts);
    $start_html .= eval($top_menu);
    require "_dev/_$PAGE.php";
    if (PAGE == 'settings' || PAGE == 'utility' || PAGE == 'help') echo '</td></tr></table>';
    echo_message($mess ? $mess : $u_str) ?><hr>
<div style="float:right">sky. and dev.sky. use
    <a href="?help=license">SKY license</a>, see <a href="<?=SKY?>" target="_blank"><?=domain(SKY)?></a>,
2012-<?=date('Y')?> year</div>
<b>DEV.SKY.<?=ver()?></b>, opened in <?=round(microtime(true)-START_TS,3)?> seconds with <?=$sky->qn?> sql queries,
see: <a href="javascript:$('trace',{});window.scrollBy(0,700)">tracing</a>
<script type="text/javascript">var u_str = '<?=substr($u_str,1)?>'</script><br><?php $sky->tail();
 
} else echo str_replace('%TITLE%', "Login - $TITLE", $start_html) . sprintf($login_form, $u_sky_inet_login, $u_auto_login ? ' checked' : '');
 
?></body></html>