diff --git a/lib/ddl/database_manager.php b/lib/ddl/database_manager.php index 2192bcddda8..763524b78c2 100644 --- a/lib/ddl/database_manager.php +++ b/lib/ddl/database_manager.php @@ -264,10 +264,6 @@ class database_manager { */ public function find_key_name(xmldb_table $xmldb_table, xmldb_key $xmldb_key) { -if (!is_object($xmldb_key)) { - var_dump($xmldb_table); - debugging('grrr'); -} $keycolumns = $xmldb_key->getFields(); /// Get list of keys in table