Add tableExists to public db api

1 files changed, 9 insertions, 1 deletions

diff --git a/lib/public/idbconnection.php b/lib/public/idbconnection.php
index bc563d20b42..32310fe755f 100644
--- a/lib/public/idbconnection.php
+++ b/lib/public/idbconnection.php
@@ -162,7 +162,15 @@ interface IDBConnection {
 	/**
 	 * Drop a table from the database if it exists
 	 *
-	 * @param string $table
+	 * @param string $table table name without the prefix
 	 */
 	public function dropTable($table);
+
+	/**
+	 * Check if a table exists
+	 *
+	 * @param string $table table name without the prefix
+	 * @return bool
+	 */
+	public function tableExists($table);
 }