Remove old PHP4 reference