addMenuDescription('admin', __FILE__);
// Shall I delete selected holidays???
-if (countPostSelection() > 0) {
+if (ifPostContainsSelections()) {
// Delete multiple holiday requests (for list_holiday)
$cnt = '0';
foreach (postRequestParameter('sel') as $id => $sel) {