jenkins-bot has submitted this change and it was merged.
Change subject: Insert extra prefixes from sample queries.
......................................................................
Insert extra prefixes from sample queries.
Bug: T117175
Change-Id: I5adde9c48c8f8184eefdfdacc4747da523d3a778
---
M gui/gui.js
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Thiemo Mättig (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/gui/gui.js b/gui/gui.js
index 9a2716f..02efff9 100644
--- a/gui/gui.js
+++ b/gui/gui.js
@@ -394,6 +394,11 @@
var title = paragraphs[key-1] || "";
title = title.replace( '=', '' ).trim();
+ if(paragraph.match( 'extraprefix=' )){
+ var prefix =
paragraph.substring( paragraph.indexOf( '|extraprefix=' )+13,
paragraph.indexOf( '|query=' ) ).trim();
+ query = prefix + '\n\n' + query;
+ }
+
if( title ){
exampleQueries.add( new Option(
title, query ) );
}
--
To view, visit https://gerrit.wikimedia.org/r/249974
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5adde9c48c8f8184eefdfdacc4747da523d3a778
Gerrit-PatchSet: 3
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: Smalyshev <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
