From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/NoLocalSettings.php | 63 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 63 insertions(+) create mode 100644 includes/NoLocalSettings.php (limited to 'includes/NoLocalSettings.php') diff --git a/includes/NoLocalSettings.php b/includes/NoLocalSettings.php new file mode 100644 index 00000000..6de9bfcd --- /dev/null +++ b/includes/NoLocalSettings.php @@ -0,0 +1,63 @@ +processTemplate( + 'NoLocalSettings', + array( + 'wgVersion' => ( isset( $wgVersion ) ? $wgVersion : 'VERSION' ), + 'path' => $path, + 'ext' => $ext, + 'localSettingsExists' => file_exists( MW_CONFIG_FILE ), + 'installerStarted' => $installerStarted + ) + ); +} catch ( Exception $e ) { + echo 'Error: ' . htmlspecialchars( $e->getMessage() ); +} -- cgit v1.2.3-54-g00ecf