Updated mediawiki/extensions
Project: mediawiki/extensions/ContentTranslation  8489aa1dca59135779eb8a17199430ff83b5bda4

Remove extra padding for sticky header

When the header becomes attached to the top we can reduce the
top padding. The additional top padding used to separate both
headers is not needed when there is only one visible.

This makes the "Publish" button better centered.

Change-Id: I63d7639afd681f4b29215b93ce89328017dc1fc3