diff --git a/main/admin/configure_extensions.php b/main/admin/configure_extensions.php index ad04b9ddfb..36dd1a70ef 100755 --- a/main/admin/configure_extensions.php +++ b/main/admin/configure_extensions.php @@ -159,7 +159,11 @@ Display::display_header($nameTool);