Unindent

diff --git a/adminer/include/editing.inc.php b/adminer/include/editing.inc.php
index 51569303fa43df8f8dc93d460b272a93e4a6c556..715d7f3e3bc2567582c862a8b9d7f8b3dc968841 100644 (file)
--- a/adminer/include/editing.inc.php
+++ b/adminer/include/editing.inc.php
@@ -431,9 +431,9 @@ function create_routine($routine, $row) {
 }
 
 /** Remove current user definer from SQL command
- * @param string
- * @return string
- */
+* @param string
+* @return string
+*/
 function remove_definer($query) {
        return preg_replace('~^([A-Z =]+) DEFINER=`' . preg_replace('~@(.*)~', '`@`(%|\\1)', logged_user()) . '`~', '\\1', $query); //! proper escaping of user
 }