Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  712e10de0fa05839fd6061217fdd6d5b6fb2b24b
null
Enable the save button on pasting source message

Change-Id: I251e7a41e3d4e1021a04cce3e11387d06b0b0d6b