[MediaWiki-commits] [Gerrit] add option to XML dump stubs of page ranges with explicit re... - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: add option to XML dump stubs of page ranges with explicit rev_id ordering .. add option to XML dump stubs of page ranges with explicit rev_id ordering

[MediaWiki-commits] [Gerrit] add option to XML dump stubs of page ranges with explicit re... - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: add option to XML dump stubs of page ranges with explicit rev_id ordering .. add option to XML dump stubs of page ranges with explicit rev_id ordering

[MediaWiki-commits] [Gerrit] add option to XML dump stubs of page ranges with explicit re... - change (mediawiki/core)

ArielGlenn has uploaded a new change for review. https://gerrit.wikimedia.org/r/295387 Change subject: add option to XML dump stubs of page ranges with explicit rev_id ordering .. add option to XML dump stubs of page ranges