On Thu, 7 Dec 2023, Remi Collet wrote:
> Le 05/12/2023 à 14:45, Derick Rethans a écrit :
> > https://docs.google.com/document/d/1_N0E9xo3jn9aKrIZHIbTYaY5lXw71BpSO6-it4cRpDo
> >
> > In this first stage, we would like to invite you in commenting on the
> > document (either inline, or here).
>
> As inline requires a Google account...
>
> > priority (optional): The installation "priority".
>
> 1/ I don't like this name which is ambiguous
>
> higher value seems to give higher priority
> which lower are loaded first
>
> This prefix, used in various linux distro,
> is really a "load order", needed when using --enable-rtld-now
>
> So I proprose "load order" instead
We can quibble over the name :-)
I picked something short. Debian calls it
'priority' too in their ini files. For example:
; configuration for php common module
; priority=20
extension=calendar.so
> 2/ values
>
> Default value can be 40 or max(requirement) + 10
>
> In Fedora where we use this for years we have
> (IIRC debian have different practice)
>
> 0-19 for zend_extension
> 10 for opcache
> 15 for xdebug
That's not really a good default. At least Xdebug should be
near the end of the loading order.
> 20-39 for php-src extension
> 20 for most
> 30 if requirement (ex: pdo drivers)
> 40-99 for other (pecl...)
> 40 for igbinary, msgpack
> 50 for redis which use igbinary, msgpack
I am happy to pick a different default. I had picked what Debian seemed
to have (20).
I don't think it matters much though, as distribitions can decide to
change them in their binary packages regardless.
cheers,
Derick
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
