- PHP_5_6 from PLD minus pldlogo patch

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

diff --git a/php-tld.patch b/php-tld.patch
deleted file mode 100644 (file)
index 28e3fe2..0000000
--- a/php-tld.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- 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);
-       }