Use wfGetNull() instead of hardcoded /dev/null

diff --git a/includes/ProxyTools.php b/includes/ProxyTools.php
index bb5c85a..5a3919b 100644 (file)
--- 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 );