From: Jakub Vrana <jakub@vrana.cz>
Date: Mon, 18 Oct 2010 14:56:10 +0000 (+0200)
Subject: Maria renamed to Aria
X-Git-Tag: v3.1.0~72
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=7f15b99d8f322b8fee95cfb5f857dc70720ab59b;p=adminer.git

Maria renamed to Aria
---

diff --git a/adminer/indexes.inc.php b/adminer/indexes.inc.php
index cb9f5c10..afb91270 100644
--- a/adminer/indexes.inc.php
+++ b/adminer/indexes.inc.php
@@ -2,7 +2,7 @@
 $TABLE = $_GET["indexes"];
 $index_types = array("PRIMARY", "UNIQUE", "INDEX");
 $table_status = table_status($TABLE);
-if (ereg("MyISAM|Maria", $table_status["Engine"])) {
+if (eregi("MyISAM|M?aria", $table_status["Engine"])) {
 	$index_types[] = "FULLTEXT";
 }
 $indexes = indexes($TABLE);