php-tld.patch

   1 --- php-7.0.1/ext/standard/info.c       2015-12-18 12:02:05.000000000 +0000
   2 +++ php-7.0.1/ext/standard/info.c       2015-12-18 12:02:27.523443158 +0000
   3 @@ -965,6 +965,14 @@
   4                         zend_html_puts(zend_version, strlen(zend_version));
   5                 }
   6                 php_info_print_box_end();
   7 +               /* TLD Linux */
   8 +               php_info_print_box_start(0);
   9 +               php_info_print("This server is using TLD Linux.");
  10 +               if (!sapi_module.phpinfo_as_text)
  11 +                       php_info_print("<br />More information at <a href=\"http://www.tld-linux.org/\">http://www.tld-linux.org/</a>.<br />\n");
  12 +               else
  13 +                       php_info_print("\nMore information at http://www.tld-linux.org/.\n");
  14 +               php_info_print_box_end();
  15                 zend_string_free(php_uname);
  16         }
  17