diff --git a/out/out.AdminTools.php b/out/out.AdminTools.php index 370185391..4edf7ddcd 100644 --- a/out/out.AdminTools.php +++ b/out/out.AdminTools.php @@ -41,6 +41,7 @@ UI::contentContainerStart();
  • +
  • _enableFullSearch) {