diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-05-31 16:40:33 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-05-31 16:40:33 +0000 |
| commit | ff62deef6ccf4db20187bda7652de6bdff632d8f (patch) | |
| tree | 1c0529db102469cbc93f0c76d0ad4e5cb4c5878a /includes/config-vars.php | |
| parent | e37619873b6f8805e7229f48a56d1d5572f7248a (diff) | |
| parent | 5156ae0404cd8cc544febd883037db207e456d6b (diff) | |
| download | mediawikicore-ff62deef6ccf4db20187bda7652de6bdff632d8f.tar.gz mediawikicore-ff62deef6ccf4db20187bda7652de6bdff632d8f.zip | |
Merge "Allow sharding in site_stats update"
Diffstat (limited to 'includes/config-vars.php')
| -rw-r--r-- | includes/config-vars.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/includes/config-vars.php b/includes/config-vars.php index 47984b90e160..80ede2455225 100644 --- a/includes/config-vars.php +++ b/includes/config-vars.php @@ -1397,6 +1397,12 @@ $wgMaximumMovedPages = null; $wgForceDeferredUpdatesPreSend = null; /** + * Config variable stub for the MultiShardSiteStats setting, for use by phpdoc and IDEs. + * @see MediaWiki\MainConfigSchema::MultiShardSiteStats + */ +$wgMultiShardSiteStats = null; + +/** * Config variable stub for the CacheDirectory setting, for use by phpdoc and IDEs. * @see MediaWiki\MainConfigSchema::CacheDirectory */ |