Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  eace754b1def2bc752cc57a37bd1c477ba8e4307
null
add getHtmlHeader and setHtmlHeader methods

using a property on the output is very hacky
update watchlist header to use it correctly

Change-Id: I6ffdb639c18f02bb35311006dbb28a4e6889331e