(b)
Except as provided by section
5519 of this title, an employee as defined by section
2105 of this title or an individual employed by the government of the District of Columbia, permanent or temporary indefinite, who—
(1)
is a member of a Reserve component of the Armed Forces, as described in section
10101 of title
10, or the National Guard, as described in section
101 of title
32; and
(2)
(A)
performs, for the purpose of providing military aid to enforce the law or for the purpose of providing assistance to civil authorities in the protection or saving of life or property or the prevention of injury—
(i)
Federal service under section
331,
332,
333, or
12406 of title
10, or other provision of law, as applicable, or
(ii)
full-time military service for his State, the District of Columbia, the Commonwealth of Puerto Rico, or a territory of the United States; or
(B)
performs full-time military service as a result of a call or order to active duty in support of a contingency operation as defined in section
101
(a)(13) of title
10;
is entitled, during and because of such service, to leave without loss of, or reduction in, pay, leave to which he otherwise is entitled, credit for time or service, or performance or efficiency rating. Leave granted by this subsection shall not exceed 22 workdays in a calendar year. Upon the request of an employee, the period for which an employee is absent to perform service described in paragraph (2) may be charged to the employee’s accrued annual leave or to compensatory time available to the employee instead of being charged as leave to which the employee is entitled under this subsection. The period of absence may not be charged to sick leave.