--- 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); }