mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
(without bothering with the priority values provided by the UA, as those are not applicable for us).
(without bothering with the priority values provided by the UA, as those are not applicable for us).