Merge pull request #17839 from eileenmcnaughton/regen
authorEileen McNaughton <emcnaughton@wikimedia.org>
Tue, 14 Jul 2020 23:30:49 +0000 (11:30 +1200)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 23:30:49 +0000 (11:30 +1200)
Update regen.sh with new & upcoming core extensions


Trivial merge