mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
4fc6ea3f41
Remove using of User:getOption since this method will be hard-deprecated. Now it is soft-deprecated Bug: T296083 Change-Id: Ic177a170fd3c72ebbb80da60dc8597285ab5e023 |
||
---|---|---|
.. | ||
ApiParsoidTrait.php | ||
ApiVisualEditor.php | ||
ApiVisualEditorEdit.php | ||
ServiceWiring.php | ||
SpecialCollabPad.php | ||
VisualEditorApiVisualEditorEditPostSaveHook.php | ||
VisualEditorApiVisualEditorEditPreSaveHook.php | ||
VisualEditorDataModule.php | ||
VisualEditorDesktopArticleTargetInitModule.php | ||
VisualEditorHookRunner.php | ||
VisualEditorHooks.php |