Unable to use website URLs containing port number

Hi !
It seems Wonderpush doesn’t allow usage of URLs containing ports, like https://your.domain:8080

Is there any way to solve this issue ?

Thanks