--- php-5.5.0alpha1/ext/standard/info.c~ 2012-11-13 22:00:16.000000000 +0200
+++ php-5.5.0alpha1/ext/standard/info.c 2012-11-18 23:37:48.607735302 +0200
@@ -794,6 +794,17 @@
zend_html_puts(zend_version, strlen(zend_version) TSRMLS_CC);
}
php_info_print_box_end();
+ /* TLD Linux */
+ php_info_print_box_start(0);
+ if (!sapi_module.phpinfo_as_text) {
+ php_info_print("");
+ }
+ 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();
efree(php_uname);
}