awjrichards has submitted this change and it was merged.

Change subject: address todo comment
......................................................................


address todo comment

Change-Id: I6b6251066736bbf73cea3a0f7db867b932f8280a
---
M MobileFrontend.i18n.php
M includes/skins/SkinMobile.php
M javascripts/modules/mf-search.js
3 files changed, 5 insertions(+), 2 deletions(-)

Approvals:
  awjrichards: Verified; Looks good to me, approved
  jenkins-bot: Verified


--
To view, visit https://gerrit.wikimedia.org/r/34057
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I6b6251066736bbf73cea3a0f7db867b932f8280a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: awjrichards <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to