Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  143019ed385c875d4f67850949d4732ddb40bb72

Proofread by others styling

Adjustment of markers and the counter of votes depending on
whether other users proofread a translation.

Change-Id: I2aba06cc0eeb51c165e36b22132c6e5fc0841067