From 1219a4f71706c0e3b99dfaa6124a2026d2b564e3 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 2 Jul 2009 00:55:48 +0000
Subject: [PATCH] Use wfGetNull() instead of hardcoded /dev/null

---
 includes/ProxyTools.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/ProxyTools.php b/includes/ProxyTools.php
index bb5c85ab74..5a3919bad6 100644
--- a/includes/ProxyTools.php
+++ b/includes/ProxyTools.php
@@ -174,7 +174,7 @@ function wfProxyCheck() {
 						escapeshellarg( $port ),
 						escapeshellarg( $url )
 						));
-			exec( "php $params &>/dev/null &" );
+			exec( "php $params &>" . wfGetNull() . " &" );
 		}
 		# Set MemCached key
 		$wgMemc->set( $mcKey, 1, $wgProxyMemcExpiry );
-- 
2.20.1