From 2389c6a07b4846456fb368f29699a227ce1a148b Mon Sep 17 00:00:00 2001 From: William Desportes Date: Mon, 19 Jul 2021 18:51:17 +0200 Subject: [PATCH] Fix reported "Undefined index: FirstDayOfCalendar" Reported on error reporting server Signed-off-by: William Desportes --- libraries/classes/Header.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/classes/Header.php b/libraries/classes/Header.php index 42df457d79..59fe4bc2fa 100644 --- a/libraries/classes/Header.php +++ b/libraries/classes/Header.php @@ -709,7 +709,7 @@ class Header $maxInputVarsValue = $maxInputVars === false || $maxInputVars === '' ? 'false' : (int) $maxInputVars; return $this->template->render('javascript/variables', [ - 'first_day_of_calendar' => $cfg['FirstDayOfCalendar'], + 'first_day_of_calendar' => $cfg['FirstDayOfCalendar'] ?? 0, 'theme_image_path' => $PMA_Theme !== null ? $PMA_Theme->getImgPath() : '', 'max_input_vars' => $maxInputVarsValue, ]);