diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-04-26 14:25:42 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-04-26 14:25:42 +0000 |
commit | d9200a22c2f77817bcddc510b33d329a4718ddd8 (patch) | |
tree | 210ae91fd2cfb5fb3909df152d60fc7a2d4efe15 /includes/parser/ParserCacheFactory.php | |
parent | 42f0483eb6f47dffcae37d257d887359520ee889 (diff) | |
parent | 0e7d6f214f847f933fa7eb5963361cf109848932 (diff) | |
download | mediawikicore-d9200a22c2f77817bcddc510b33d329a4718ddd8.tar.gz mediawikicore-d9200a22c2f77817bcddc510b33d329a4718ddd8.zip |
Merge "Make globals global, don't just extract values"
Diffstat (limited to 'includes/parser/ParserCacheFactory.php')
0 files changed, 0 insertions, 0 deletions