Wikimedia Bugzilla is closed!

I wanted to use SQLite as the database engine, and MySQL is not installed on my machine. When I ran the installer, at the "Connect to database" step, I got the following exception:

[9bb13ddd] /mw-config/index.php?page=DBConnect Exception from line 788 of /home/mediawiki/wiki/includes/db/Database.php: DatabaseBase::factory no viable database extension found for type 'mysql'

Backtrace:

#0 /home/mediawiki/wiki/includes/installer/WebInstallerPage.php(487): DatabaseBase::factory(string)
#1 /home/mediawiki/wiki/includes/installer/WebInstaller.php(275): WebInstaller_DBConnect->execute()
#2 /home/mediawiki/wiki/mw-config/index.php(61): WebInstaller->execute(array)
#3 /home/mediawiki/wiki/mw-config/index.php(29): wfInstallerMain()
#4 {main}

I needed to comment lines 94-96 in includes/installer/Installer.php in order to continue the installation, i.e.,

        protected static $dbTypes = array( 
                //'mysql', 
                //'postgres', 
                //'oracle', 
                'sqlite', 
        );

Shouldn't MediaWiki have detected that MySQL was not installed, or asked me what type of RDBMS I wanted to use?