Script that re-writes a JSON export from phpMyAdmin so that numeric fields are not strings

Loading repository data...