<?php session_start(); if (defined('ONGITLAB') && ONGITLAB) { if (!isset($_COOKIE['remember_user_token'])) { header('Location: /'); exit; } } function ansi2html($string) { $dictionary = array( '[30m' => '<span style="color:black">', '[31m' => '<span style="color:red">', '[32m' => '<span style="color:green">', '[33m' => '<span style="color:yellow">', '[34m' => '<span style="color:blue">', '[35m' => '<span style="color:fuchsia">', '[36m' => '<span style="color:aqua">', '[37m' => '<span style="color:white">', '[m' => '</span>', ); return str_replace(array_keys($dictionary), $dictionary, $string); }