Some PHP quality tips