Replaces php5 with php7, without whitespace changes.