--- php-7.0.1/ext/standard/info.c 2015-12-18 12:02:05.000000000 +0000
+++ php-7.0.1/ext/standard/info.c 2015-12-18 12:02:27.523443158 +0000
@@ -965,6 +965,14 @@
zend_html_puts(zend_version, strlen(zend_version));
}
php_info_print_box_end();
+ /* TLD Linux */
+ php_info_print_box_start(0);
+ php_info_print("This server is using TLD Linux.");
+ if (!sapi_module.phpinfo_as_text)
+ php_info_print("
More information at http://www.tld-linux.org/.
\n");
+ else
+ php_info_print("\nMore information at http://www.tld-linux.org/.\n");
+ php_info_print_box_end();
zend_string_free(php_uname);
}