MediaWiki
if ( file_exists( 'config/LocalSettings.php' ) ) { echo( "To complete the installation, move
config/LocalSettings.php
to the parent directory." ); } else { echo( "You'll have to
set the wiki up
first!" ); } ?>