diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2025-04-01 22:22:11 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2025-04-01 22:22:11 +0000 |
| commit | 818c34a316cb5f59fb57fc9dd3bb3103bfcd2116 (patch) | |
| tree | d88b755c2161ae27a3cfce494b3484d39281cc7a /includes/ResourceLoader | |
| parent | 11d9fbd4932e69f83e5f66c63236b67e413b2ffc (diff) | |
| parent | 1f863762c85a61e7a55778b84f0fa4e071ccfe11 (diff) | |
| download | mediawikicore-818c34a316cb5f59fb57fc9dd3bb3103bfcd2116.tar.gz mediawikicore-818c34a316cb5f59fb57fc9dd3bb3103bfcd2116.zip | |
Merge "ParserCache: Skip saving of "redirect=no" ParserOutput of redirect pages"
Diffstat (limited to 'includes/ResourceLoader')
0 files changed, 0 insertions, 0 deletions