mysql port in settings.json