Remove some references to PHP5

... implying that we support PHP4, which is of course not true.