MediaWiki REL1_31
ResourceLoaderUserOptionsModule.php
Go to the documentation of this file.
1<?php
29
31
32 protected $targets = [ 'desktop', 'mobile' ];
33
39 return [ 'user.defaults' ];
40 }
41
45 public function enableModuleContentVersion() {
46 return true;
47 }
48
54 // Use FILTER_NOMIN annotation to prevent needless minification and caching (T84960).
55 return ResourceLoader::FILTER_NOMIN . Xml::encodeJsCall(
56 'mw.user.options.set',
57 [ $context->getUserObj()->getOptions( User::GETOPTIONS_EXCLUDE_DEFAULTS ) ],
59 );
60 }
61
65 public function supportsURLLoading() {
66 return false;
67 }
68
74 return !$context->getUserObj()->getOptions( User::GETOPTIONS_EXCLUDE_DEFAULTS );
75 }
76
80 public function getGroup() {
81 return 'private';
82 }
83}
Object passed around to modules which contains information about the state of a specific loader reque...
Abstraction for ResourceLoader modules, with name registration and maxage functionality.
Module for user preference customizations.
getDependencies(ResourceLoaderContext $context=null)
isKnownEmpty(ResourceLoaderContext $context)
static inDebugMode()
Determine whether debug mode was requested Order of priority is 1) request param, 2) cookie,...
const GETOPTIONS_EXCLUDE_DEFAULTS
Exclude user options that are set to their default value.
Definition User.php:80
do that in ParserLimitReportFormat instead use this to modify the parameters of the image all existing parser cache entries will be invalid To avoid you ll need to handle that somehow(e.g. with the RejectParserCacheValue hook) because MediaWiki won 't do it for you. & $defaults also a ContextSource after deleting those rows but within the same transaction you ll probably need to make sure the header is varied on and they can depend only on the ResourceLoaderContext $context
Definition hooks.txt:2811