137.05 HOLIDAYS.
   Recognized holidays for members of the Police Department shall be as provided for in Section 141.11(a). Credit shall be allowed members for working on any established holiday but the time off allowed for such work shall be taken within a six-month period following the holiday worked.