diff --git a/htdocs/holiday/month_report.php b/htdocs/holiday/month_report.php index a3b8171cc62..735f8892129 100644 --- a/htdocs/holiday/month_report.php +++ b/htdocs/holiday/month_report.php @@ -335,7 +335,7 @@ print getTitleFieldOfList($selectedfields, 0, $_SERVER["PHP_SELF"], '', '', '', print ''; if ($num == 0) { - print ''.$langs->trans('None').''; + print ''.$langs->trans('None').''; } else { while ($obj = $db->fetch_object($resql)) { $user = new User($db);