primero... si, revisa el manual (pero de PHP)
ahí encontraras las funciones necesarias para el tratamiento de archivos, que es lo que quieres.... no?
ahora no se como funcione TinyMCE (pero lo demás si)
Código PHP:
<?php
$file = 'mi/archivo/a/editar.html'; // ruta completa y real
if (isset($_POST['guardar'])) // este seria el submit
{
$tmp = fopen($file, 'w+'); // abrimos
fwrite($tmp, $_POST['read']); // escribimos
fclose($tmp); // cerramos
// al final, solo recargamos la misma pagina... pero sin POST
header("location: $_SERVER[PHP_SELF]");
}
// leemos el archivo a editar...
$read = file_get_contents($file);
$read = htmlentities($read); // codificamos
?><textarea name="read"><?php echo $read; ?></textarea>
y bueno, estas son las básicas de lo que quieres... no es para que lo copies y pegas ya que no es una formula mágica... pero si te dispones a estudiarlo y sobre todo, seguir leyendo las referencias... bueno, es bueno... para ti (o algo así)