00001 <html> 00002 <head> 00003 <title>Xaraya Translation Memory</title> 00004 <link rel="stylesheet" href="style.css" type="text/css" media="screen"/> 00005 </head> 00006 00007 <body> 00008 Try: <a href="WebGUI.php">try now</a><br/> 00009 Download: <a href="download">try at home</a><br/> 00010 Read: <a href="doc/html/">class documentation</a><br/> 00011 <pre> 00012 <? 00013 echo add_links(file_get_contents("README.txt")); 00014 ?> 00015 00016 TODO 00017 00018 <? 00019 echo file_get_contents("TODO.txt"); 00020 ?> 00021 00022 CHANGELOG 00023 00024 <? 00025 echo file_get_contents("CHANGELOG.txt"); 00026 ?> 00027 </pre> 00028 </body> 00029 </html> 00030 <? 00031 function add_links($text) 00032 { 00033 return preg_replace("/(http:\/\/[^ ]*)/", '<a href="$1">$1</a>', $text); 00034 }