This is the WordPress plugin side of the WordPress Theme Editor extension for Brackets.