PHP Development Extension for the Brackets Text Editor