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 wikibase/queryService/ui/App.js
1 file changed, 0 insertions(+), 2 deletions(-)
Approvals:
Smalyshev: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wikibase/queryService/ui/App.js b/wikibase/queryService/ui/App.js
index 196b731..b2e1842 100644
--- a/wikibase/queryService/ui/App.js
+++ b/wikibase/queryService/ui/App.js
@@ -130,8 +130,6 @@
}
self._editor.setValue( query );
- var prefixes =
wikibase.queryService.RdfNamespaces.STANDARD_PREFIXES.join( '\n' );
- self._editor.prepandValue( prefixes + '\n\n' );
} );
};
--
To view, visit https://gerrit.wikimedia.org/r/271727
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iab4473647a2151ff6af1fca8de923f6c88a1491f
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/gui
Gerrit-Branch: master
Gerrit-Owner: Smalyshev <smalys...@wikimedia.org>
Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
