diff --git a/languages/Language.php b/languages/Language.php
index e0ad7e678be..aa83839cc6c 100644
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -954,6 +954,11 @@ class Language {
 	 * @return string
 	 */
 	function stripForSearch( $string ) {
+		global $wgDBtype;
+		if ( $wgDBtype != 'mysql' ) {
+			return $string;
+		}
+
 		# MySQL fulltext index doesn't grok utf-8, so we
 		# need to fold cases and convert to hex