doc: Fix DefaultSettings's assertions about possible extension types
authorJames D. Forrester <jforrester@wikimedia.org>
Sun, 1 Jun 2014 00:00:01 +0000 (17:00 -0700)
committerReedy <reedy@wikimedia.org>
Sun, 1 Jun 2014 00:21:28 +0000 (00:21 +0000)
commit40282be46aa7fe0dc223d86e402b5169dec3a32b
tree5bbf9c1335c11b5ffa8a178e606b93d8ffc84bb3
parentdcc9d4a3c81bfd06a5bec0ea59e7cb5ca2ab4c6a
doc: Fix DefaultSettings's assertions about possible extension types

Change-Id: I79f0b6dab93272682157e2a0dcd727f14f7285e9
includes/DefaultSettings.php