Fixed some PHP code style violations