Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  c12c6d0edf7ffb76ff5088bd1a61c91117a24b48

Fix search (bad merge): Rename to #searchInput

Follow up to I7867dcd4d9f7b477e19219fe6456713f15a3e714
Somehow this was undone

Change-Id: I3b076e4a0db6f9f8bb55072975b46cd6d53a3b17