That portion of any allowance payable because of the death or retirement of any member which is provided by contributions of the city shall be reduced, in the manner fixed by the city council, by the amount of any benefits payable to or on account of such person, under the Division 4 of the Labor Code of the state of California.
It is the express intent that payments under the Workers' Compensation Insurance and Safety Law shall be a deductible credit against any allowance under the retirement system which is provided by contributions of the city payable to or on account of the death of any such person; that double payments, in whole or in part, at the expense of the taxpayers, shall not be permitted. (Prior code § 34.02.210)