com web/php: Nothing links to this anymore: extra/bindlib_w 32.zip extra/index.php extra/win32build.zip

Commit: a4d85f3d66ec4bd13c33c04637ac0624812ac260 Author: Hannes Magnusson <bjori@mongodb.com> Thu, 26 Dec 2013 20:33:46 -0800 Parents: 75c14135c05a9511a80b6faa7d0cfe3094674e5e Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=a4d85f3d66ec4bd13c33c04637ac0624812ac260 Log: Nothing links to this anymore Changed paths: D extra/bindlib_w32.zip D extra/index.php D extra/win32build.zip Diff: diff --git a/extra/bindlib_w32.zip b/extra/bindlib_w32.zip deleted file mode 100644 index 5ab0406..0000000 Binary files a/extra/bindlib_w32.zip and /dev/null differ diff --git a/extra/index.php b/extra/index.php deleted file mode 100644 index 89a41be..0000000 --- a/extra/index.php +++ /dev/null @@ -1,7 +0,0 @@ -<?php -// $Id$ - -// Simulate a /extra shortcut call (which will lead to a manual page) -$_SERVER['REQUEST_URI'] = '/extra'; -include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc'; -include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php'; diff --git a/extra/win32build.zip b/extra/win32build.zip deleted file mode 100644 index 287a300..0000000 Binary files a/extra/win32build.zip and /dev/null differ