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)
commit75f8b7d0c27a64b565c20585c1426c490ace31a9
treea6faef4aed41f427ca3746018877dfa9a1ba5cd4
parent9e36b3b46251450d0012c863e3b4cb29aa99c24c
parent18b8a7e098d52bf5b0a96591863e321921221be3
Merge pull request #17839 from eileenmcnaughton/regen

Update regen.sh with new & upcoming core extensions