Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  6db766869e8c98a26c9a4618589c98afe1d3eb59
null
Optimize the looping on open editors in the translate page

Change-Id: Id53f7ebe47969f952aa3f3a7dac78121ef723ddf