mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-23 22:13:34 +00:00
1d449787ef
Most of this code was already typed, but not everything. Using language-level type declarations allows us to remove extra PHPDoc blocks that just repeat the same information. I'm also using the more narrow UserIdentity instead of User in a few places where this is possible. Change-Id: I7661824fcb34180af1a4fd3030fcd6c0b7d34089 |
||
---|---|---|
.. | ||
ResourceLoaderData.php |