<?php

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

$start = microtime(true);

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

$xml = new XMLReader();
$xml->XML(file_get_contents('lang.en.xml'));

while ( $xml->read() )
{
	if ( $xml->nodeType == 3 )
	{
		$output .= htmlspecialchars($xml->value) . "\n";
	}
}

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

?>