From 21c0d9af8345529212dbf0ca9f7d6af4b7f4df9e Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Wed, 5 Aug 2009 03:15:16 +0000
Subject: [PATCH] Remove completely unused file copy functions (grep'd core &
 extensions)

---
 install-utils.inc | 29 -----------------------------
 1 file changed, 29 deletions(-)

diff --git a/install-utils.inc b/install-utils.inc
index 7e455a6c65..473cdf56a7 100644
--- a/install-utils.inc
+++ b/install-utils.inc
@@ -40,35 +40,6 @@ function install_version_checks() {
 	@set_time_limit( 0 );
 }
 
-function copyfile( $sdir, $name, $ddir, $perms = 0664 ) {
-	copyfileto( $sdir, $name, $ddir, $name, $perms );
-}
-
-function copyfileto( $sdir, $sname, $ddir, $dname, $perms = 0664 ) {
-	global $wgInstallOwner, $wgInstallGroup;
-
-	$d = "{$ddir}/{$dname}";
-	if ( copy( "{$sdir}/{$sname}", $d ) ) {
-		if ( isset( $wgInstallOwner ) ) { chown( $d, $wgInstallOwner ); }
-		if ( isset( $wgInstallGroup ) ) { chgrp( $d, $wgInstallGroup ); }
-		chmod( $d, $perms );
-		# print "Copied \"{$sname}\" to \"{$d}\".\n";
-	} else {
-		print "Failed to copy file \"{$sname}\" to \"{$ddir}/{$dname}\".\n";
-		exit();
-	}
-}
-
-function copydirectory( $source, $dest ) {
-	$handle = opendir( $source );
-	while ( false !== ( $f = readdir( $handle ) ) ) {
-		$fullname = "$source/$f";
-		if ( $f{0} != '.' && is_file( $fullname ) ) {
-			copyfile( $source, $f, $dest );
-		}
-	}
-}
-
 function readconsole( $prompt = '' ) {
 	static $isatty = null;
 	if ( is_null( $isatty ) ) {
-- 
2.20.1