Hello,
This Editor is the default WordPress functionality. Please note that editing of php files via admin panel is a bad practice and we recommend to make all changes in php files via FTP.
Regards