6 Dec
2021
6 Dec
'21
3:24 p.m.
Hi, On 06/12/2021 16:11, Pierre Schmitz via arch-dev-public wrote:
I'll also evaluate if we could drop the php7 packages at the same time
Just checked, mediawiki does not officially support PHP 8 yet and our bugtracker is still PHP 7. [1] https://phabricator.wikimedia.org/T248925 Greetings, Jelle van der Waa