diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-07 21:25:51 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2024-09-07 21:25:51 +0200 |
| commit | 441017cb546f437117a24c9c9f0d24d312235501 (patch) | |
| tree | 739beceec1e36eea644dbd98aa4c7d205ca583e2 /includes/ResourceLoader/UserOptionsModule.php | |
| parent | e659256efebe478fab1ce5d16b67faa2cccdf5d6 (diff) | |
| download | mediawikicore-441017cb546f437117a24c9c9f0d24d312235501.tar.gz mediawikicore-441017cb546f437117a24c9c9f0d24d312235501.zip | |
ResourceLoader: Add missing documentation to class properties
Add doc-typehints to class properties found by the PropertyDocumentation
sniff to improve the documentation.
Once the sniff is enabled it avoids that new code is missing type
declarations. This is focused on documentation and does not change code.
Change-Id: I90ecf85cb6f639af4be1947ccfbfb16d5b84cab3
Diffstat (limited to 'includes/ResourceLoader/UserOptionsModule.php')
| -rw-r--r-- | includes/ResourceLoader/UserOptionsModule.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/ResourceLoader/UserOptionsModule.php b/includes/ResourceLoader/UserOptionsModule.php index 0adbfb0116ba..383a9905e404 100644 --- a/includes/ResourceLoader/UserOptionsModule.php +++ b/includes/ResourceLoader/UserOptionsModule.php @@ -37,6 +37,7 @@ use MediaWiki\User\Options\UserOptionsLookup; */ class UserOptionsModule extends Module { + /** @inheritDoc */ protected $origin = self::ORIGIN_CORE_INDIVIDUAL; /** |