<?php

ini_set('display_errors', 'on');
ini_set('log_errors', 'off');

$start = microtime(true);

header('Content-Type: text/plain; charset=utf-8;');
$output = null;

$ini = parse_ini_file('lang.en.ini', true);

foreach ( $ini['admin'] as $child )
{
	$output .= htmlspecialchars($child) . "\n";
}

foreach ( $ini['public'] as $child )
{
	$output .= htmlspecialchars($child) . "\n";
}

print $output;
print chr(10).chr(10).(microtime(true) - $start);

?>