PHP 7.0.26 och 7.1.12

PHP 7 har kommit i 2 versioner.   En version PHP 7.0.x trädet och en 7.1.12 trädet. Mesta dels buggfixar.

http://php.net/archive/2017.php#id2017-11-24-1