Webextension cant search on port

Hi,

When logging into a firewall it usally has a different port than HTTPS, in my case, https://dnsname:4444

The webextension cant find the name by itself, since it doesnt search for ":4444"

If i change to https://dnsname it finds it.

Two first pics shows when i changed the URL to without port :4444

The next is with port, where it cant find any, and it checks for https://dnsname