Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  d794af188cda839c21145a70b02fb5cd19c40ba1

Rename core tables too

Change-Id: I1b9fa6bc7d4277fc629180cf233d59a53abb5472