php编辑器~相当的好用~小巧,高速~~php开发者首选