more PHP changes