mw.config: Add wgIsRedirect
authorTimo Tijhof <krinklemail@gmail.com>
Tue, 23 Jul 2013 19:11:17 +0000 (21:11 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Tue, 23 Jul 2013 19:11:31 +0000 (21:11 +0200)
commit7627cf61759aca2bd8f7128c5d1141689d6769f5
tree76b730858707e0e6d8783847519b5d1d94173170
parentaae6099b6ce312b31c83b25a2990a43fd34f857c
mw.config: Add wgIsRedirect

Change-Id: I6e365f20b513ded10ede51d4b34de0736653a3dc
includes/OutputPage.php