Bug#355503: cannot run config.php because package already comes with an /etc/mediawiki/AdminSettings.php file

[Jason Spiro]

Package: mediawiki
Version: 1.4.14-1

Because the mediawiki package comes with a
/etc/mediawiki/AdminSettings.php file, I cannot run config.php. It
dies at the section shown below, and I must work around the problem
manually. It would be great if this were fixed.

Thanks,
Jason Spiro

>>>>>>>>>>>
/* Check for existing configurations and bug out! */

if( file_exists( "/var/lib/mediawiki/LocalSettings.php" ) ||
file_exists( "/var/lib/mediawiki/AdminSettings.php" ) ) {
        dieout( "<h2>Wiki is configured.</h2>

                <p>Already configured... <a href='../index.php'>return
to the wiki</a>.</p>

                        <p>(You should probably remove
/var/lib/mediawiki/config for added security.)</p>" );
<<<<<<<<<<<