Replaces php5 with php7, without whitespace changes.
Deletes patch leftovers
Merge branch 'master' into issue-67910

Conflicts:
	README.PARAMETER_PARSING_API
	ext/gmp/tests/001.phpt
Reverts some unwanted changes
Removes accidentally added files.
Merge branch 'pull-request/805'

* pull-request/805:
  Removes accidentally added files.
  Reverts some unwanted changes
  Deletes patch leftovers
  Replaces php5 with php7, without whitespace changes.