Update PHPTextFileIO.php