PeopleBrowsr PHP/Webstorm auto-formatter config