[MediaWiki-commits] [Gerrit] Mark tools as external with icon - change (wikidata...gui)
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)
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: