Report user

[bmarty]

Type of change

• Feature
• Bugfix
• Technical
• Other : Google Play compliance

Content

Let the user able to report another user:

• from any messages (not from the current user), new action "Report user"

• from the user profile page (not for the current user), new action "Report user". Also "Ignore" wording has been replaced by "Ignore user" for parity.

Motivation and context

Closes #8796

Screenshots / GIFs

See above

Tests

• Open a message detail and see the new action
• Open a user profile and see the new action.

Tested devices

• Physical
• Emulator
• OS version(s):

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/element-hq/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/element-hq/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()