--- /dev/null
+--- 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("<a href=\"http://www.tld-linux.org/\">");
++ }
++ php_info_print("This server is using TLD Linux.");
++ if (!sapi_module.phpinfo_as_text)
++ php_info_print("<br />More information at <a href=\"http://www.tld-linux.org/\">http://www.tld-linux.org/</a>.<br />\n");
++ else
++ php_info_print("\nMore information at http://www.tld-linux.org/.\n");
++ php_info_print_box_end();
+ efree(php_uname);
+ }