Нашел для себя такой замечательный и полезный сервис, как онлайн PHP-редактор – PHPanywhere.com. Работает на Ext JS. Совершенно все нужные фунции присутствуют – подсветка, кодировки и т.д.
Пользование сервисом совершенно бесплатно и требует всего лишь регистрации.