Merge "Special:Undelete used non existant global wgContentHandlerNoDB"
authorReedy <reedy@wikimedia.org>
Tue, 16 Oct 2012 21:36:39 +0000 (21:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 16 Oct 2012 21:36:39 +0000 (21:36 +0000)

Trivial merge