Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  d02cea72e40af2b4caba40a3ab653a99e151c855

Clean up job queue length script

- Remove extra false parameters to addOption(), they're defaults
- Add ability to suppress the total count from the result

Change-Id: Iaedbdb90c8cf18d255fbd1882af68997f36cbba0