Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroRatedMobileAccess  20d6bd633e532353527af868d7a6c3b224ba2874

Various python scripts to help with maintenance

* The scripts help with loading configurations
* comparing between different config sites - api vs prod
* compare messages in prod vs what they suppose to be on meta
* optimize IPs & CIDR blocks

Change-Id: Ib15a1e9d5694629201efd4434745b66ca2a3891c