jenkins-bot has submitted this change and it was merged.

Change subject: Fix demo to convert annotation indexes to actual annotations
......................................................................


Fix demo to convert annotation indexes to actual annotations

Change-Id: Ib9d4ab87baca2db7e9e8f2b9fc974c3198d9fe28
---
M demos/ve/index.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Catrope: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/demos/ve/index.php b/demos/ve/index.php
index 7630192..0ef4d9b 100644
--- a/demos/ve/index.php
+++ b/demos/ve/index.php
@@ -425,7 +425,7 @@
                                        if ( annotations ) {
                                                $label.append(
                                                        $( '<span>' ).text(
-                                                               '[' + 
annotations.get().map( function( ann ) {
+                                                               '[' + 
ve.instances[0].model.documentModel.store.values( annotations ).map( function( 
ann ) {
                                                                        return 
ann.name;
                                                                } ).join( ', ' 
) + ']'
                                                        )

-- 
To view, visit https://gerrit.wikimedia.org/r/66078
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib9d4ab87baca2db7e9e8f2b9fc974c3198d9fe28
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to