Update secfixes comment and remove duplicate entry for CVE-2018-5712.

The fix for CVE-2018-5712 in 7.1.13 was incomplete and got finally fixed
in 7.1.17 together with a new CVE id (CVE-2018-10547).

ref #11914
upstream ref: https://bugs.php.net/bug.php?id=76129