Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  bb0cea13b950c6a78ffa7848aab31dbb0ddd94f3
null
Improve the "Hide translated" button's behavior

Change-Id: Ic9516e95b22fc1ca713288cab445eedcc3470f61