Return to "What’s the default port for MySQL Server?" how to change port number in mysql workbench how to change port number in mysql workbench