Editors File editor for PHP, XML, and Provisioning files. PHP Editor Provisioning Editor XML Editor Editors Default Settings