Fix incorrect push
Add missing PHP bump change
Bump Tomcat 7 to 7.0.42