| Index: branches/new-installer/phase3/includes/installer/WebInstaller.php |
| — | — | @@ -907,7 +907,7 @@ |
| 908 | 908 | $types = "<ul class=\"config-settings-block\">\n"; |
| 909 | 909 | $settings = ''; |
| 910 | 910 | $defaultType = $this->getVar( 'wgDBtype' ); |
| 911 | | - foreach ( $this->parent->getDBTypes() as $type ) { |
| | 911 | + foreach ( $this->parent->getVar( '_CompiledDBs' ) as $type ) { |
| 912 | 912 | $installer = $this->parent->getDBInstaller( $type ); |
| 913 | 913 | $encType = Xml::encodeJsVar( $type ); |
| 914 | 914 | $types .= |
| Index: branches/new-installer/phase3/includes/installer/Installer.php |
| — | — | @@ -354,7 +354,7 @@ |
| 355 | 355 | $db = $this->getDBInstaller( $name ); |
| 356 | 356 | $readableName = wfMsg( 'config-type-' . $name ); |
| 357 | 357 | if ( $db->isCompiled() ) { |
| 358 | | - $compiledDBs[$name] = true; |
| | 358 | + $compiledDBs[] = $name; |
| 359 | 359 | $goodNames[] = $readableName; |
| 360 | 360 | } |
| 361 | 361 | $allNames[] = $readableName; |