Who is the shortest man to ever play center in NBA?

Charles barkley how tall was he