editing php sonar properties file