Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  9c1d4c67280fb1cad0794e94754cd0cd300c6da5

Stashing script for checking rc_params type

Change-Id: I0ddde137d5d63821eb2053b849416c60cff5f58a