diff options
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; /** |