Lucas Werkmeister (WMDE) has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/370424 )
Change subject: Fix capitalization of GlobeCoordinate ...................................................................... Fix capitalization of GlobeCoordinate Change-Id: Id837d486f867c78c25b94c532c50c8e91e1fd817 --- M wikibase/queryService/ui/editor/hint/Sparql.js 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/gui refs/changes/24/370424/1 diff --git a/wikibase/queryService/ui/editor/hint/Sparql.js b/wikibase/queryService/ui/editor/hint/Sparql.js index f53a655..12ef9cf 100755 --- a/wikibase/queryService/ui/editor/hint/Sparql.js +++ b/wikibase/queryService/ui/editor/hint/Sparql.js @@ -42,7 +42,7 @@ // value types 'wikibase:TimeValue', 'wikibase:QuantityValue', 'wikibase:GlobecoordinateValue', // property types - 'wikibase:WikibaseItem', 'wikibase:CommonsMedia', 'wikibase:Globecoordinate', + 'wikibase:WikibaseItem', 'wikibase:CommonsMedia', 'wikibase:GlobeCoordinate', 'wikibase:Monolingualtext', 'wikibase:Quantity', 'wikibase:String', 'wikibase:Time', 'wikibase:Url', 'wikibase:ExternalId', 'wikibase:WikibaseProperty', 'wikibase:Math', // pageprops -- To view, visit https://gerrit.wikimedia.org/r/370424 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id837d486f867c78c25b94c532c50c8e91e1fd817 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/gui Gerrit-Branch: master Gerrit-Owner: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits