How to update Wayland Explorer for Mir¶

Wayland Explorer is a popular website that provides a user-friendly view of the protocols that each compositor or compositor library supports. You can find it here: https://wayland.app/protocols/.

Updating for Mir¶

Install wlprobe, which is required to get a JSON file of the available protocols:
```
cargo install wlprobe
```

Run mir_demo_server with wlprobe as its client:

env -u WAYLAND_DISPLAY mir_demo_server --test-client wlprobe --timeout 0

Finally, go to https://github.com/vially/wayland-explorer/edit/main/src/data/compositors/mir.json, replace the file content with the printed JSON, adding a "version": "<MAJOR.MINOR>" value, e.g.:
```
{
  "version": "2.26",
  "generationTimestamp": "...",
  "globals": ["..."]
}
```
And open a pull request.