wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update VE core submodule to master (68c5f1a3c)

Browse source 
New changes:
c53286843 Make NodeWindow a standalone mixin
a787fbef1 Update OOUI to v0.40.4
0d74538ee Refactor dialog logging out of ui.Command into ui.WindowAction
ea55ede8d [BREAKING CHANGE] Improve structure of special character definitions

Local changes:
Fix output of fetchSpecialCharList to match new format

Bug: T264146
Bug: T264690
Change-Id: I2a28bb9c3e54cb5f9308ab361dee99bc801b467a
This commit is contained in:
Ed Sanders 2020-10-08 19:07:52 +01:00
parent e13781ce1f
commit f0891fc174
2 changed files with 11 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 1a0cc7e1f2e932ae6a15901f008bd21d091241af
Subproject commit 68c5f1a3cf158aa74dfdeaf598e5c6d45ae8e670

14
modules/ve-mw/init/ve.init.mw.Platform.js
View file

@ -251,8 +251,11 @@ ve.init.mw.Platform.prototype.fetchSpecialCharList = function () {
try {
other = JSON.parse( otherMsg );
if ( other ) {
characters[ otherGroupName ] = other;
other.attributes = { dir: mw.config.get( 'wgVisualEditorConfig' ).pageLanguageDir };
characters.other = {
label: otherGroupName,
characters: other,
attributes: { dir: mw.config.get( 'wgVisualEditorConfig' ).pageLanguageDir }
};
}
} catch ( err ) {
ve.log( 've.init.mw.Platform: Could not parse the Special Character list.' );
@ -295,8 +298,11 @@ ve.init.mw.Platform.prototype.fetchSpecialCharList = function () {
// * special-characters-group-tamil
// * special-characters-group-telugu
// * special-characters-group-thai
characters[ mw.msg( 'special-characters-group-' + groupName ) ] = groupObject;
groupObject.attributes = { dir: rtlGroups.indexOf( groupName ) !== -1 ? 'rtl' : 'ltr' };
characters[ groupName ] = {
label: mw.msg( 'special-characters-group-' + groupName ),
characters: groupObject,
attributes: { dir: rtlGroups.indexOf( groupName ) !== -1 ? 'rtl' : 'ltr' }
};
} );
return characters;