ths = document.getElementsByTagName("th");
for (var i=0; i<ths.length; i++) {
---- php7.0-7.0/sapi/fpm/Makefile.frag~ 2015-05-21 17:57:06.000000000 +0300
-+++ php7.0-7.0/sapi/fpm/Makefile.frag 2015-05-23 11:01:51.383332821 +0300
+--- php-7.1.3/sapi/fpm/Makefile.frag~ 2017-03-14 15:17:50.000000000 +0200
++++ php-7.1.3/sapi/fpm/Makefile.frag 2017-03-28 09:44:28.799989897 +0300
@@ -14,9 +14,9 @@
echo "Installing PHP FPM defconfig: skipping"; \
else \