[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Adding SITENAME to search box placeholder

2016-10-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Adding SITENAME to search box placeholder .. Adding SITENAME to search box placeholder Changing the search box placeholder from just reading "Search" to "

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Adding SITENAME to search box placeholder

2016-10-12 Thread Jdrewniak (Code Review)
Jdrewniak has uploaded a new change for review. https://gerrit.wikimedia.org/r/315501 Change subject: Adding SITENAME to search box placeholder .. Adding SITENAME to search box placeholder Changing the search box placeholder