Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  f375251cda4a704bb64442bd0acf77ecc5c7b45a

Hygiene: Use inherited ArticlePage properties for search elements

Change-Id: I985e30a620ec143844a1d1fd50421e59f3e0ece5