public static function display($line) { self::$displayed_lines++; echo "<div class='log_line'>", '(', number_format(self::$displayed_lines), ') ', '[', LineOutput::create_link($line), '] ', (string)$line, "</div>\n"; }