Updated mediawiki/extensions
Project: mediawiki/extensions/Parsoid  c0ecc9b133df8742bc004c932a43903fe9e2a4b0

Specify the number workers from the command line

Change-Id: Ia2768d47854d7417f012c2c72ed015939bc2e742