Small tidy ups and raise visibility of GitHub PR process
Merge branch 'PHP-5.5' into PHP-5.6

* PHP-5.5:
  Small tidy ups and raise visibility of GitHub PR process

Conflicts:
	README.SUBMITTING_PATCH
Merge branch 'PHP-5.6'

* PHP-5.6:
  Small tidy ups and raise visibility of GitHub PR process