I have a list of files on my development server that I want users (who are already authenticated against the webserver) to be able to edit. I don't want to bother them with FTP or WebDAV, so I would like them to go to a URL, pick the file to edit from a menu and edit it in the browser.
The files include plain text files, configuration files, HTML, JavaScript or CSS, so syntax-highlighting, code-folding etc. would be nice. But I am looking for a plain text editor, not WYSIWYG as I think it would be a distraction.
None of my Google searches returned anything interesting due to the keywords being so common on the Internet. Does anyone know an (open-sourced) editor that I could use for this purpose?