1 files changed, 0 insertions, 87 deletions
diff --git a/win32/installer/setini.php b/win32/installer/setini.php
deleted file mode 100644
index cdcb65fc07..0000000000
--- a/win32/installer/setini.php
+++ /dev/null
@@ -1,87 +0,0 @@
-<?php
-/* $Id$
- * Wez Furlong <wez@thebrainroom.com>
- *
- * Set options in a php.ini file.
- * This is a support script for the installer.
- *
- * $argv[1] is the path to the ini file
- * $argv[2] is the path to the option file
- */
-
-echo "Running post-installation script to configure php.ini\n";
-
-function fatal($msg)
-{
-	echo $msg;
-	sleep(5);
-	exit(1);
-}
-
-$ini_name = $argv[1];
-$option_file = $argv[2];
-
-if (!file_exists($option_file)) {
-	fatal("Option file $option_file does not exist");
-}
-
-if (!file_exists($ini_name)) {
-	fatal("inifile $ini_name does not exist");
-}
-
-$options = explode("\n", file_get_contents($option_file));
-$opts = array();
-
-/* Parse the options */
-foreach ($options as $line) {
-	if (strlen(trim($line)) == 0)
-		continue;
-
-	list($name, $value) = explode("=", $line);
-
-	if ($name == "extension") {
-		$pat = "/^;?extension\s*=\s*" . preg_quote($value, '/') . "/i";
-	} else {
-		$pat = "/^;?" . preg_quote($name, '/') . "\s*=\s*/i";
-	}
-
-	$opts[] = array('pat' => $pat, 'name' => $name, 'value' => $value);
-}
-
-$new_name = $ini_name . "~";
-$dest = fopen($new_name, "w");
-
-if (!$dest) {
-	echo "Could not create temporary file! $new_name\n";
-	flush();
-	sleep(10);
- 	die("Cannot create temporary file!");
-}
-
-$lines = file($ini_name);
-
-foreach ($lines as $line) {
-
-	foreach ($opts as $k => $optdata) {
-		extract($optdata);
-		
-		if (preg_match($pat, $line)) {
-			echo "Found $pat ; setting $name to $value\n";
-			$line = "$name=$value\r\n";
-			// No need to match again
-			unset($opts[$k]);
-			break;
-		}
-	}
-
-	fwrite($dest, $line);
-}
-
-fclose($dest);
-
-unlink($ini_name);
-rename($new_name, $ini_name);
-
-echo "All done!\n";
-sleep(1);
-?>