Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  22cb8fd04c9404c20a9b82f3472a91a2c7814517

Remove padding for non-numeric page labels in pagelist display

Change-Id: I3d68eeeb137da4fdf00bd0a7f79d9b704111f5e3