Merge "avoid link cache issues with duplicate title keys for xml dumps"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Apr 2019 14:00:38 +0000 (14:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Apr 2019 14:00:38 +0000 (14:00 +0000)
commitfcef0f1cea44deaf4de89580b22a4dfbd8c63f37
tree63987f5e80454372be9ee88f852066e9db7ec004
parentfd187b656396a1ee05b1e3ef3af51dc1d4656a6b
parentff120752825cf587ad84f7b7da480d387d53cca5
Merge "avoid link cache issues with duplicate title keys for xml dumps"
includes/export/XmlDumpWriter.php