diff --git a/htdocs/ecm/docmine.php b/htdocs/ecm/docmine.php index 880188c5033..fcb46462831 100644 --- a/htdocs/ecm/docmine.php +++ b/htdocs/ecm/docmine.php @@ -317,8 +317,7 @@ foreach($filearray as $key => $file) { $var=!$var; print "