9.06. If an employee is required to work on one of the holidays mentioned in section 9.02, the employer, in addition to paying him the wages stipulated in sections 6.04 or 6.06, as the case may be, must pay him the holiday pay stipulated in section 9.04.