How to check the cURL version used in PHP?

With a [high severity security issue](https://curl.se/docs/CVE-2023-38545.html) just announced in curl, you might be wondering which curl version you are using in your PHP script. Here's how to find it.