Updated mediawiki/extensions
Project: mediawiki/extensions/Translate  d4672468d175635ebad47beaaa0916770ff19497
null
Make '!translated' the really default filter

Change-Id: I36aa1cbfd49dd9fa9767ebe982f6827f594ad7a7