In this section, “employee leave time” means the following types of leave: Holiday leave; Annual leave; Personal leave; Sick leave; and Administrative and other related leave. As provided in this section, each public institution of higher education is authorized to establish employee leave time for its skilled employees, professional employees, and employees in a status that is equivalent to skilled employees or professional employees in the State Personnel Management System, described in Title 6 of the State Personnel and Pensions Article. The number of days established by a public institution of higher education as employee leave time shall total at least the number of days provided to employees in the State Personnel Management System under Title 9, Subtitles 2, 3, 4, and 5 of the State Personnel and Pensions Article.