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

Commit: 6232f16f84b3ac29d401377fd219f0e597b5dc29 Author: Hannes Magnusson <bjori@mongodb.com> Thu, 26 Dec 2013 20:33:46 -0800 Parents: 981b28796071a76f8e3e0b96450697bc629596b7 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=6232f16f84b3ac29d401377fd219f0e597b5dc29 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