mirror of
https://github.com/ChristianLight/tutor.git
synced 2025-02-14 22:51:39 +00:00
We explicitely set the MySQL connection port, even if it is the default one. I don't think this solves anything, but it's a good idea to set the port explicitely, generally speaking.