Wikimedia
Preserve old page ID on undeletion
Ensure that when a MediaWiki page gets deleted and then undeleted, the page ID remains the same (so as to not break certain links).
The related Phabricator task is https://phabricator.wikimedia.org/T28123 .
Task tags
Students who completed this task
Victor Barbu
Task type
- code Code