Code Editor : php_type.h

//