Bugfix + new setting

A fix that enables php scripts to run longer.
Also, you’re now able to choose the redirection port of your mysql
server for your host.