Anyone else paying money back to their employer is called a kickback, Government workers do a kickback and pass it off as paying taxes. The money flows out of the pot and right back into it, a mere exercise in smoke and mirrors, but it is not a tax. Taxes are collected from the private sector.
Government workers have payroll taxes and income taxes withheld from their pay - it's called the government taxing itself.