[MediaWiki-commits] [Gerrit] Shortcut for execute query button - change (wikidata...gui)

2016-03-19 Thread Jonas Kress (WMDE) (Code Review)
Jonas Kress (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/277973 Change subject: Shortcut for execute query button .. Shortcut for execute query button Bug: T129653 Change-Id:

[MediaWiki-commits] [Gerrit] Shortcut for execute query button - change (wikidata...gui)

2016-03-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Shortcut for execute query button .. Shortcut for execute query button Bug: T129653 Change-Id: I56ad992018d5db7e184fd4ae1a7c71894704ff29 --- M index.html