diff --git a/adminer/procedure.inc.php b/adminer/procedure.inc.php index d338841d..50735cd5 100644 --- a/adminer/procedure.inc.php +++ b/adminer/procedure.inc.php @@ -43,7 +43,8 @@ $routine_languages = routine_languages();