Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  0f8dba343b2f14cd1f306aa1aeedc27bb6855c96

In proofread mode, after editing, update the stats

Bug: 45700
Change-Id: I34afc33c3c9d1b8a6548886af381abba2d251238