diff --git a/pmd_general.php b/pmd_general.php index 1fabf120bf..1e4fc67124 100644 --- a/pmd_general.php +++ b/pmd_general.php @@ -813,10 +813,11 @@ if($_REQUEST['query']) { echo '