Maria renamed to Aria

diff --git a/adminer/indexes.inc.php b/adminer/indexes.inc.php
index cb9f5c10b8ef233ecd7d18b944783fb59cfe6f96..afb91270307ea7630ed16a8b0b9c1d6d2024ec61 100644 (file)
--- 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);