Generate properties files and -dist for php configurations