wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-18 01:00:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (5c98d9b41)"

Browse source
This commit is contained in:
jenkins-bot 2024-12-11 13:45:38 +00:00 committed by Gerrit Code Review
parent e45d2e8137 dc9cf6624a
commit f336f44813
4 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -1382,6 +1382,7 @@
"visualeditor-shortcuts-text-style",
"visualeditor-slug-insert",
"visualeditor-specialcharacter-button-tooltip",
"visualeditor-specialcharacter-recentlyused",
"visualeditor-table-context-col",
"visualeditor-table-context-row",
"visualeditor-table-contextitem-properties",

1
includes/Hooks.php
View file

@ -1021,6 +1021,7 @@ class Hooks implements
$preferences['visualeditor-findAndReplace-regex'] = $api;
$preferences['visualeditor-findAndReplace-matchCase'] = $api;
$preferences['visualeditor-findAndReplace-word'] = $api;
$preferences['visualeditor-symbolList-recentlyUsed-specialCharacters'] = $api;
}
/**

2
lib/ve

@ -1 +1 @@
Subproject commit d210240a0761fe0c4fb4f4bb819564b3364503f8
Subproject commit 5c98d9b418bb40352e40daae108424bb591f9f01

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

@ -177,6 +177,11 @@ ve.init.mw.Platform.prototype.setUserConfig = function ( keyOrValueMap, value )
}
};
/**
* @inheritdoc
*/
ve.init.mw.Platform.prototype.canUseUserConfig = mw.user.isNamed;
ve.init.mw.Platform.prototype.createLocalStorage = function () {
return this.createConflictableStorage( mw.storage );
};