From 2f10510fffb613825b23eff076c7e383a2f44963 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Wed, 14 Mar 2012 17:13:47 -0400
Subject: [PATCH] No longer depend on grab_globals

---
 db_operations.php | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/db_operations.php b/db_operations.php
index c8e9d67c70..080686735f 100644
--- a/db_operations.php
+++ b/db_operations.php
@@ -27,7 +27,18 @@ $GLOBALS['js_include'][] = 'db_operations.js';
  * Sets globals from $_REQUEST (we're using GET on ajax, POST otherwise)
  */
 $request_params = array(
-    'drop_if_exists'
+    'add_constraints',
+    'comment',
+    'create_database_before_copying',
+    'db_collation',
+    'db_copy',
+    'db_rename',
+    'drop_if_exists',
+    'newname',
+    'sql_auto_increment',
+    'submitcollation',
+    'switch_to_new',
+    'what'
 );
 foreach ($request_params as $one_request_param) {
     if (isset($_REQUEST[$one_request_param])) {