Add option to change PHP server port