As used in this article:
(a) “Industrial disability leave” means temporary disability as defined in Divisions 4 (commencing with Section 3200) and 4.5 (commencing with Section 6100) of the Labor Code and includes any period in which the disability is permanent and stationary and the disabled employee is undergoing vocational rehabilitation.
(b) “Full pay” means the gross base pay earnable by the employee and subject to retirement contribution if he or she had not vacated his or her position.