Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  143cbbb0db1a8e270c3be0cb1903858eccb79f00

Use the default dimensions for body editing area

Change-Id: I0aea160330213a2a715e5fb42e361261f0e3dd90