Commit:    6232f16f84b3ac29d401377fd219f0e597b5dc29
Author:    Hannes Magnusson <bj...@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


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to