php-tld.patch

   1 --- php-5.5.0alpha1/ext/standard/info.c~        2012-11-13 22:00:16.000000000 +0200
   2 +++ php-5.5.0alpha1/ext/standard/info.c 2012-11-18 23:37:48.607735302 +0200
   3 @@ -794,6 +794,17 @@
   4                         zend_html_puts(zend_version, strlen(zend_version) TSRMLS_CC);
   5                 }
   6                 php_info_print_box_end();
   7 +               /* TLD Linux */
   8 +               php_info_print_box_start(0);
   9 +               if (!sapi_module.phpinfo_as_text) {
  10 +                       php_info_print("<a href=\"http://www.tld-linux.org/\">");
  11 +               }
  12 +               php_info_print("This server is using TLD Linux.");
  13 +               if (!sapi_module.phpinfo_as_text)
  14 +                       php_info_print("<br />More information at <a href=\"http://www.tld-linux.org/\">http://www.tld-linux.org/</a>.<br />\n");
  15 +               else
  16 +                       php_info_print("\nMore information at http://www.tld-linux.org/.\n");
  17 +               php_info_print_box_end();
  18                 efree(php_uname);
  19         }