Allow custom push gateway to use non-default port

[jonnyandrew]

Type of change

• Feature
• Bugfix
• Technical
• Other :

Content

Allow a custom push gateway to use a non-default port

Motivation and context

When a custom UnifiedPush push gateway is detected, it's gateway URL is constructed from URL components contained within the push key. However, if the gateway URL contains a custom port, this is ignored and the push gateway test fails.

Screenshots / GIFs

Tests

• Set up a custom push gateway which uses a custom port
• Go to settings > notifications > troubleshoot

Tested devices

• Physical
• Emulator
• OS version(s): Android 13

Checklist

• Changes has been tested on an Android device or Android emulator with API 21
• UI change has been tested on both light and dark themes
• Accessibility has been taken into account. See https://github.com/vector-im/element-android/blob/develop/CONTRIBUTING.md#accessibility
• Pull request is based on the develop branch
• Pull request includes a new file under ./changelog.d. See https://github.com/vector-im/element-android/blob/develop/CONTRIBUTING.md#changelog
• Pull request includes screenshots or videos if containing UI changes
• Pull request includes a sign off
• You've made a self review of your PR
• If you have modified the screen flow, or added new screens to the application, you have updated the test UiAllScreensSanityTest.allScreensTest()

[sonarqubecloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

0.0% Coverage
0.0% Duplication

[bmarty]

LGTM, thanks.
Could be awesome if you create a PR for the same fix on ElementX.

Thanks!

[jonnyandrew]

Could be awesome if you create a PR for the same fix on ElementX.

@bmarty, no problem, here it is:

• Allow custom push gateway to use non-default port element-x-android#374