[MediaWiki-commits] [Gerrit] Mark tools as external with icon - change (wikidata...gui)

2016-06-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Mark tools as external with icon .. Mark tools as external with icon Change-Id: I3be4e17512c94e112f7d346b2de5e3d19715e3f1 --- M index.html 1 file

[MediaWiki-commits] [Gerrit] Mark tools as external with icon - change (wikidata...gui)

2016-06-09 Thread Jonas Kress (WMDE) (Code Review)
Jonas Kress (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/293509 Change subject: Mark tools as external with icon .. Mark tools as external with icon Change-Id: