From 7f15b99d8f322b8fee95cfb5f857dc70720ab59b Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Mon, 18 Oct 2010 16:56:10 +0200 Subject: [PATCH] Maria renamed to Aria --- adminer/indexes.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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);