Merge pull request #28751 from demeritcowboy/regen81
authorEileen McNaughton <emcnaughton@wikimedia.org>
Thu, 21 Dec 2023 08:02:39 +0000 (21:02 +1300)
committerGitHub <noreply@github.com>
Thu, 21 Dec 2023 08:02:39 +0000 (21:02 +1300)
Update regen online script to use php 8.1 since this doesn't have polyfills available and now str_contains makes it fail


Trivial merge