[packages/php] (20 commits) ...Merge branch 'dev-7.1' into PHP_7_0

[glen]

Summary of changes:

  14cf8d2... up to 7.1.0alpha1 (*)
  7c9f5c5... php-7.1.0alpha2 (27 Jun 2016) (*)
  f43c997... allow building without phpdbg (*)
  a44eaa9... update spl-shared.patch (*)
  b0d97be... fix phpdbg binary install (*)
  26ef07c... version phpdbg binary/man to allow parallel install (*)
  a1ca065... typo (*)
  dd52cd4... up to 7.1.0alpha3 (*)
  3ed7c16... up to 7.1.0-beta1 (*)
  b8be612... noarch -tests (*)
  4964b2f... up to 7.1.0-beta2 (*)
  2955e38... up to 7.1.0beta3 (*)
  0afbdb1... up to 7.1.0RC1 (*)
  12ee88b... up to 7.1.0RC2 (*)
  34458d3... up to 7.1.0RC3 (*)
  3d8669a... up to 7.1.0RC4 (*)
  542ae84... up to 7.1.0RC5 (*)
  802ac03... up to 7.1.0RC6 (*)
  9ca214f... PHP 7.1.0 Released (01 Dec 2016) (*)
  0ca5ae2... Merge branch 'dev-7.1' into PHP_7_0

(*) This commit already existed in another branch; no separate mail sent