HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend…

Authored by Jdlrobson.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 72ed529e46229c8b8172666aa1894dbddde1dae1

Distinguish input for non-js users

Do minimum possible to make the input usable
without a placeholder:
Add a border and padding

Change-Id: Id91ec536a22d689a4ce273af388370b7ff71cef1