fix index drop on pg

1 files changed, 14 insertions, 0 deletions

diff --git a/lib/pgsqlschema.php b/lib/pgsqlschema.php
index 599f7ffca..d50e35f66 100644
--- a/lib/pgsqlschema.php
+++ b/lib/pgsqlschema.php
@@ -335,6 +335,20 @@ class PgsqlSchema extends Schema
     }
 
     /**
+     * Append an SQL statement to drop an index from a table.
+     * Note that in PostgreSQL, index names are DB-unique.
+     *
+     * @param array $statements
+     * @param string $table
+     * @param string $name
+     * @param array $def
+     */
+    function appendDropIndex(array &$statements, $table, $name)
+    {
+        $statements[] = "DROP INDEX $name";
+    }
+
+    /**
      * Quote a db/table/column identifier if necessary.
      *
      * @param string $name