From: Sam Reed <reedy@users.mediawiki.org>
Date: Sun, 20 Nov 2011 18:02:38 +0000 (+0000)
Subject: Braces, spaces, documentation
X-Git-Tag: 1.31.0-rc.0~26383
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/modifier.php?a=commitdiff_plain;h=5ef630a3b391510ee876337281babb8faf9a8e1a;p=lhc%2Fweb%2Fwiklou.git

Braces, spaces, documentation
---

diff --git a/includes/Title.php b/includes/Title.php
index d4abcbb2a3..4048e5fe49 100644
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -4278,7 +4278,7 @@ class Title {
 	/**
 	 * Get a backlink cache object
 	 *
-	 * @return object BacklinkCache
+	 * @return BacklinkCache
 	 */
 	function getBacklinkCache() {
 		if ( is_null( $this->mBacklinkCache ) ) {
diff --git a/includes/search/SearchEngine.php b/includes/search/SearchEngine.php
index e6991a1024..b09373f330 100644
--- a/includes/search/SearchEngine.php
+++ b/includes/search/SearchEngine.php
@@ -1203,22 +1203,27 @@ class SearchHighlighter {
 	 * @return String
 	 */
 	function extract( $text, $start, $end, &$posStart = null, &$posEnd = null ) {
-		if ( $start != 0 )
+		if ( $start != 0 ) {
 			$start = $this->position( $text, $start, 1 );
-		if ( $end >= strlen( $text ) )
+		}
+		if ( $end >= strlen( $text ) ) {
 			$end = strlen( $text );
-		else
+		} else {
 			$end = $this->position( $text, $end );
+		}
 
-		if ( !is_null( $posStart ) )
+		if ( !is_null( $posStart ) ) {
 			$posStart = $start;
-		if ( !is_null( $posEnd ) )
+		}
+		if ( !is_null( $posEnd ) ) {
 			$posEnd = $end;
+		}
 
-		if ( $end > $start )
+		if ( $end > $start )  {
 			return substr( $text, $start, $end - $start );
-		else
+		} else {
 			return '';
+		}
 	}
 
 	/**
diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index c4e672f1cb..5de10e62ac 100644
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -314,8 +314,7 @@ abstract class Maintenance {
 			} else {
 				print( $out );
 			}
-		}
-		else {
+		} else {
 			$out = preg_replace( '/\n\z/', '', $out );
 			$this->outputChanneled( $out, $channel );
 		}