The salary of each judge of the District Court of the Twenty-third Judicial Circuit shall be supplemented by the county which makes up the judicial circuit, in the amount of eleven thousand dollars ($11,000) annually. The amount shall be paid in equal monthly installments in the same manner as is paid to a judge of the circuit court, and shall be paid from the general fund of the county of the judicial circuit.