The term basic salary as used in this Act shall be taken to include all salary payments made through the office of the State Treasurer from moneys derived from State revenue or from any other source (except such moneys as are appropriated by the United States Government) and in respect to which salary payments a board, commission, department, officers, or other agency of the State of Delaware ex