[MediaWiki-commits] [Gerrit] Do not prepend prefixes anymore - change (wikidata...gui)

2016-02-18 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Do not prepend prefixes anymore .. Do not prepend prefixes anymore Change-Id: Iab4473647a2151ff6af1fca8de923f6c88a1491f --- M

[MediaWiki-commits] [Gerrit] Do not prepend prefixes anymore - change (wikidata...gui)

2016-02-18 Thread Smalyshev (Code Review)
Smalyshev has uploaded a new change for review. https://gerrit.wikimedia.org/r/271727 Change subject: Do not prepend prefixes anymore .. Do not prepend prefixes anymore Change-Id: Iab4473647a2151ff6af1fca8de923f6c88a1491f