mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 11:32:51 +00:00
f1dcc5d3c8
isRegistered is part of the slick UserIdentity interface, i.e. it's the more "canonical" form. This change makes it a bit easier to move away from using the huge (4000+ LOC) User class everywhere, in favor of the UserIdentity interface, where possible. This patch is meant as a small step towards this goal. I tried to replace some usages of User type hints already, but prefer to go in small, incremental steps. Change-Id: I827b83a5304b1975437d5fd5083f2877dba6f6d8 |
||
---|---|---|
.. | ||
ApiParsoidTrait.php | ||
ApiVisualEditor.php | ||
ApiVisualEditorEdit.php | ||
SpecialCollabPad.php | ||
VisualEditorDataModule.php | ||
VisualEditorDesktopArticleTargetInitModule.php | ||
VisualEditorHooks.php |