Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  f4ab7654a79dee96a7170a2e4adb84ec611eb0d0
null
Add a "Paste original" button

No styling yet, just the basic functionality.

Change-Id: I4f45fc9dbf27962e8e1a1072d38e120b2750956b