Old PHP versions?

[Stefan1200]

I know that one person is using PHP 5.2, which would be okay for me to implement a small new feature.

But is someone using PHP 5.0 or 5.1? Because the web interface build 3019 will require at least PHP version 5.2. Since PHP 5.0 and 5.1 are already out of support for 10 years now, it should be the time to update your web server now!