diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2023-02-16 20:55:16 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2023-02-16 20:55:16 +0000 |
| commit | fd660e4c519db8a568050455662d25a132cfb278 (patch) | |
| tree | d53d6b81148d3e74bd134a9ee55ff83ad0d99c9e /includes/objectcache/ObjectCache.php | |
| parent | 805d63fa4ad883cf3a34648e620dc2b8ef33d9fc (diff) | |
| parent | 1ac173f02e2a37114d5cd390a17433f49ffc624d (diff) | |
| download | mediawikicore-fd660e4c519db8a568050455662d25a132cfb278.tar.gz mediawikicore-fd660e4c519db8a568050455662d25a132cfb278.zip | |
Merge "title: Handle user name equal to interwiki prefix in TitleParser"
Diffstat (limited to 'includes/objectcache/ObjectCache.php')
0 files changed, 0 insertions, 0 deletions