[MediaWiki-commits] [Gerrit] mediawiki...Flow[master]: Match JS and non-JS styles for navigation placeholder

2017-09-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377464 ) Change subject: Match JS and non-JS styles for navigation placeholder .. Match JS and non-JS styles for navigation placeholder

[MediaWiki-commits] [Gerrit] mediawiki...Flow[master]: Match JS and non-JS styles for navigation placeholder

2017-09-12 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377464 ) Change subject: Match JS and non-JS styles for navigation placeholder .. Match JS and non-JS styles for navigation placeholder Change-Id: