[Buildroot] [git commit] DEVELOPERS: add myself for php

[Thomas Petazzoni]

On Thu, 7 Jan 2021 20:32:46 +0100
Peter Korsgaard <peter at korsgaard.com> wrote:

> diff --git a/DEVELOPERS b/DEVELOPERS
> index 258a51a14c..b534a69c70 100644
> --- a/DEVELOPERS
> +++ b/DEVELOPERS
> @@ -409,6 +409,7 @@ F:	package/perl-timedate/
>  F:	package/perl-uri/
>  F:	package/perl-www-robotrules/
>  F:	package/pixman/
> +F:	package/php/

"php" should be before "pixman" I believe, and it seems Python agrees:

$ python -c 'print("php" < "pixman")'
True

Thomas
-- 
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com