undefined $_type on successful table rename

2008-05-04 12:23:48 +00:00
parent 4085b80bdc
commit 51ea0c93c8
2 changed files with 4 additions and 0 deletions
--- a/libraries/common.lib.php
+++ b/libraries/common.lib.php
@@ -934,6 +934,7 @@ if (typeof(window.parent) != 'undefined'
 *
 * @param   string  $message    the message to display
 * @param   string  $sql_query  the query to display
+ * @param   string  $type       the type (level) of the message 
 * @global  array   the configuration array
 * @uses    $cfg
 * @access  public