[MediaWiki-commits] [Gerrit] Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. - change (integration/jenkins)

Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/53931 Change subject: Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. .. Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. Change-Id:

[MediaWiki-commits] [Gerrit] Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. - change (integration/jenkins)

Krinkle has submitted this change and it was merged. Change subject: Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. .. Rename tools/mw-doc-gen.sh to tools/mwcore-docgen.sh. Change-Id: