Extension to allow duplicate MediaWiki pages with their complete edit history