fixed php ext editor