--global have be removed in 5.2
man page: long option name is --strip, not --stripped
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  man page: long option name is --strip, not --stripped
  --global have be removed in 5.2
Merge branch 'PHP-5.5' into PHP-5.6

* PHP-5.5:
  man page: long option name is --strip, not --stripped
  --global have be removed in 5.2
Merge branch 'PHP-5.6'

* PHP-5.6:
  man page: long option name is --strip, not --stripped
  --global have be removed in 5.2