[php-maint] php5 co-maintainer list

[Ondřej Surý]

Sean,

since your last commit to php5 git was done almost three years ago
and you are inactive in the list, I am going to remove you from the
list of co-maintainers of php5.

Thanks for all the hard work you did in the years! It's a shame that
you do no longer have time or interest to maintain php5.

Cheers,
Ondrej
-- 
Ondřej Surý <ondrej at sury.org>
Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server