- it's TLD, not PLD

[packages/php.git] / php-tld.patch

diff --git a/php-tld.patch b/php-tld.patch
new file mode 100644 (file)
index 0000000..5c54bdb
--- /dev/null
+++ b/php-tld.patch
@@ -0,0 +1,22 @@
+--- php-4.3.3RC3/ext/standard/info.c.orig      2003-06-19 18:43:41.000000000 +0200
++++ php-4.3.3RC3/ext/standard/info.c   2003-08-16 21:37:18.705836072 +0200
+@@ -518,6 +518,20 @@
+               PUTS(!sapi_module.phpinfo_as_text?"<br />":"\n");
+               PUTS(zend_version);
+               php_info_print_box_end();
++              /* TLD Linux */
++              php_info_print_box_start(0);
++              if (expose_php && !sapi_module.phpinfo_as_text) {
++                      PUTS("<a href=\"http://www.tld-linux.org/\">");
++                      if (SG(request_info).request_uri) {
++                              PUTS(SG(request_info).request_uri);
++                      }
++              }
++              PUTS("This server is using TLD Linux.");
++              if (!sapi_module.phpinfo_as_text)
++                      PUTS("<br />More information at <a href=\"http://www.tld-linux.org/\">http://www.tld-linux.org/</a>.<br />\n");
++              else
++                      PUTS("\nMore information at http://www.tld-linux.org/.\n");
++              php_info_print_box_end();
+               efree(php_uname);
+       }