Webブラウザからサーバ上のテキストファイルを編集可能に - Web Editor [ゼロと無限の間に]

Web Editorとは、Webブラウザでサーバ上のテキストファイルを編集するためのPHPです。 編集対象はとりあえずPHP、Ruby、HTML、JavaScript、CSSを想定していますが、CodePressが対応していれば簡単に増やせます。 ソースコードのハイライト等、エディタのユーザーインターフェイス・エンジンにはCodePressを使います。CodePressが無くても一応動作しますが、CodePress無しでは利用価値が激減です。（特にソフトタブが直入力できないのが痛いです。） セキュリティ的な機能は無いので、絶対にWeb上で外部に公開しないでください。特にWindowsの場合などは酷いことになり得ます。意味が分からないなら使うのはやめましょう。 下記の環境で動作確認してますが、やっつけで作ったので適宜改良してください。