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)
commit347c4755e2553f698a10de4adaccee7ea168af52
tree35dcbd02eafa1d54c557ef1ac4547949ab5fac01
parentb7b93ab0a7fa12981ac29f74acd0c18f518f2181
parent510b339378aa31b4702555832524e8a73c78728e
Merge "Special:Undelete used non existant global wgContentHandlerNoDB"