Yurik has uploaded a new change for review.
https://gerrit.wikimedia.org/r/275515
Change subject: Make marker uppercase for <maplink> letters
......................................................................
Make marker uppercase for <maplink> letters
Change-Id: I8e1155b39a0c4d344fa28ae2245a2a6e9b0ec1e3
---
M includes/Tag/TagHandler.php
1 file changed, 2 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Kartographer
refs/changes/15/275515/1
diff --git a/includes/Tag/TagHandler.php b/includes/Tag/TagHandler.php
index 1d2d976..a8795e5 100644
--- a/includes/Tag/TagHandler.php
+++ b/includes/Tag/TagHandler.php
@@ -303,7 +303,8 @@
$marker = $isNumber ? strval( $count )
: chr( ord( 'a' ) + $count - 1 );
$item->properties->{'marker-symbol'} =
$marker;
if ( $firstMarker === false ) {
- $firstMarker = $marker;
+ // GeoJSON is in lowercase, but
the letter is shown as uppercase
+ $firstMarker = $isNumber ?
$marker : strtoupper( $marker );
}
}
}
--
To view, visit https://gerrit.wikimedia.org/r/275515
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8e1155b39a0c4d344fa28ae2245a2a6e9b0ec1e3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Kartographer
Gerrit-Branch: master
Gerrit-Owner: Yurik <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
