[packages/php] (2 commits) Non-fast-forward update to branch PHP_7_2

[glen]

The branch 'PHP_7_2' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch.

Commits removed from the branch:

  3afe3f8... - updated to 7.2.13

Commits added to the branch:

  1c208aa... - up to 7.2.13 (*)
  591a626... - pl for -sodium (*)

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