Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  07248b875b644d714ac218066ae0bf0c61152929

Committed script to compare backend zone sizes for sanity.

Change-Id: Ib5c4a0f0d2279eab5bd8ca6440018d003ffbad6c