From 38e71e6a2f4fea269f61087373dd22b62de4cd39 Mon Sep 17 00:00:00 2001
From: Philip Tzou <philip@users.mediawiki.org>
Date: Wed, 6 Jan 2010 20:17:01 +0000
Subject: [PATCH] Change or to ||.

---
 languages/Language.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/languages/Language.php b/languages/Language.php
index a368b31612..1909619711 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -1698,7 +1698,7 @@ class Language {
 	 */
 	function stripForSearch( $string ) {
 		global $wgDBtype, $wgSearchType;
-		if ( $wgDBtype != 'mysql' or $wgSearchType == 'LuceneSearch' ) {
+		if ( $wgDBtype != 'mysql' || $wgSearchType == 'LuceneSearch' ) {
 			return $string;
 		}
 
-- 
2.20.1