Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  a8157334478c6bf2936301de5ffd58d1bc88cb5a

Hygiene: Move code for header into _getTitleElement

Change-Id: Ic53933189bf51772a88689794a7633ba8ba0ac2c