Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  c768b93d6d9d7c85dbacc007962647389819c207
null
Make the "optional" checkbox filter optional messages

Change-Id: Icb1abee4868b216285539008a8c1e1fd78b3f225