diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-11-18 00:15:28 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-11-18 00:15:28 +0000 |
| commit | c7f12ebae2f2e654923289f7597b8f10be062806 (patch) | |
| tree | 8b9d360402ba1faa31c7596db8c9b298b1f72eb7 /includes/export/DumpFileOutput.php | |
| parent | e96a75958735f9531c1846401ec45c5626b2397b (diff) | |
| parent | 539b6abba2aa834f458853356bdc330d7bcf2bbc (diff) | |
| download | mediawikicore-c7f12ebae2f2e654923289f7597b8f10be062806.tar.gz mediawikicore-c7f12ebae2f2e654923289f7597b8f10be062806.zip | |
Merge "Replace deprecated WikiPage::factory in import/export related classes"
Diffstat (limited to 'includes/export/DumpFileOutput.php')
0 files changed, 0 insertions, 0 deletions