MissingWiki: let databases.json auto generate if missing (#45)

miraheze · Sep 19, 2024 · 3618125 · 3618125
1 parent 35ed97b
commit 3618125
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/MissingWiki.php b/MissingWiki.php
@@ -49,7 +49,10 @@
 	EOF;
 	header( 'Content-length: ' . strlen( $output ) );
 	echo $output;
-	die( 1 );
+
+	if ( file_exists( '/srv/mediawiki/cache/databases.json' ) ) {
+		die( 1 );
+	}
 } else {
 	// $wgDBname will always be set to a string, even if the --wiki parameter was not passed to a script.
 	echo "The wiki database '{$wgDBname}' was not found." . PHP_EOL;