X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;f=includes%2FProxyTools.php;h=3ef4a208db9cc1248e01ae37a4b0961e5585b7ca;hb=157861bc31bdf7058328cee47ec296cb693c6a55;hp=0978621d9160a6e09b0da8b8fc6cbfe8cf8fa285;hpb=1b19057db32d671126659df5f1377148b5fd8514;p=lhc%2Fweb%2Fwiklou.git

diff --git a/includes/ProxyTools.php b/includes/ProxyTools.php
index 0978621d91..3ef4a208db 100644
--- a/includes/ProxyTools.php
+++ b/includes/ProxyTools.php
@@ -1,19 +1,15 @@
 <?php
-
-if ( !defined( 'MEDIAWIKI' ) ) {
-	die();
-}
-
 /**
  * Functions for dealing with proxies
+ * @package MediaWiki
  */
 
+if ( !defined( 'MEDIAWIKI' ) ) {
+	die();
+}
 
-/**
- * Work out the IP address based on various globals
- */
-function wfGetIP()
-{
+/** Work out the IP address based on various globals */
+function wfGetIP() {
 	global $wgSquidServers, $wgSquidServersNoPurge;
 
 	/* collect the originating ips */
@@ -52,8 +48,8 @@ function wfGetIP()
 	return $ip;
 }
 
-function wfIP2Unsigned( $ip )
-{
+/** */
+function wfIP2Unsigned( $ip ) {
 	$n = ip2long( $ip );
 	if ( $n == -1 ) {
 		$n = false;
@@ -67,8 +63,7 @@ function wfIP2Unsigned( $ip )
  * Determine if an IP address really is an IP address, and if it is public, 
  * i.e. not RFC 1918 or similar
  */
-function wfIsIPPublic( $ip )
-{
+function wfIsIPPublic( $ip ) {
 	$n = wfIP2Unsigned( $ip );
 	if ( !$n ) {
 		return false;