has oido mencionar / pensado en FCKEditor,, es un editor de texto muy practico y facil de adaptar a tus paginas PHP con contenido de MySQL.?
Tiene opcion de presentar un editor basico (opciones limitadas) y avanzado. De ahi para que solo usuarios registrados puedan accederlo depende de tus sistema de logeo con PHP.
http://www.fckeditor.net/
La otra opcion seria que tu desarrollaras tu propio "Mini editor" por decir asi, tomando en cuanta tus filtros para evitar ataques XSS y todo aquello que quieras filtrar al momento de hacer la insercion de tu contenido en tu BBDD.
un saludo