User blog comment:Rappy 4187/Technical Update: November 30, 2015/@comment-25653892-20151203061445

If you delete a MediaWiki page, it reverts to the default content, right?