introduce datepicker/datetimepicker 'disable_holidays: true' to disable holidays in the calendar, fixes #2267

Die Änderungen erlauben den Datepicker folgendermassen zu definieren:

<input type="text" data-date-picker='{"disable_holidays": true}'>

Dadurch werden die von Stud.IP über die JSONAPI-Route /holidays zurückgelieferten Feiertage als nicht wählbar markiert. Feiertage, die keine gesetzlichen Feiertage sind (also wo man nicht frei hat), werden nicht speziell markiert - könnten dies aber. Bei diesen wird nur ein entsprechender Tooltip eingeblendet.

assigned to @tleilax

added 1 commit

• c50a3864 - improve validation in jsonapi route, re #2267 (closed)

Compare with previous version

added 91 commits

• c50a3864...520df873 - 89 commits from branch main
• e95e0f4e - introduce datepicker/datetimepicker 'disable_holidays: true' to disable...
• ba4b1721 - improve validation in jsonapi route, re #2267 (closed)

Compare with previous version

added 4 commits

• ba4b1721...d9f6695c - 2 commits from branch main
• ecd7ec55 - introduce datepicker/datetimepicker 'disable_holidays: true' to disable...
• 7874adf0 - improve validation in jsonapi route, re #2267 (closed)

Compare with previous version

approved this merge request

enabled an automatic merge when the pipeline for 7874adf0 succeeds

merged

mentioned in commit 85588e61