diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2022-04-01 14:19:38 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2022-04-01 14:19:38 +0000 |
| commit | e4bbad4ffeff8e39c45cd13d835621670d3d339d (patch) | |
| tree | 538b0539750f20cf3856c8d81957686469cb4f8a /includes/filerepo/file/OldLocalFile.php | |
| parent | 5fcedc88c9623497abf2ad67c455ed86cd01828f (diff) | |
| parent | a087f79319043c5e20c1b25da89b79bba0f63a8b (diff) | |
| download | mediawikicore-e4bbad4ffeff8e39c45cd13d835621670d3d339d.tar.gz mediawikicore-e4bbad4ffeff8e39c45cd13d835621670d3d339d.zip | |
Merge "ParserOutputAccess: Allow calling getPO with option of not saving in PC"
Diffstat (limited to 'includes/filerepo/file/OldLocalFile.php')
0 files changed, 0 insertions, 0 deletions