diff --git a/servers/demo/projects/minipedia/LocalSettings.php b/servers/demo/projects/minipedia/LocalSettings.php
index 7243a65..a93226e 100644
--- a/servers/demo/projects/minipedia/LocalSettings.php
+++ b/servers/demo/projects/minipedia/LocalSettings.php
@@ -1,151 +1,168 @@
isLoggedIn() ) ) {
+ $error = sprintf(
+ '
%s
',
+ "Apologies, it's just a demo :) Please request an account."
+ );
+ return true;
+ }
+};
## Default skin: you can change the default skin. Use the internal symbolic
## names, ie 'vector', 'monobook':
$wgDefaultSkin = "vector";
// Define constants for my additional namespaces.
define("NS_MINI", 3002); // This MUST be even.
define("NS_MINI_TALK", 3003); // This MUST be the following odd integer.
// Add namespaces.
$wgExtraNamespaces[NS_MINI] = "Mini";
$wgExtraNamespaces[NS_MINI_TALK] = "Mini_talk"; // Note underscores in the namespace name.
# Enabled skins.
# The following skins were automatically enabled:
wfLoadSkin( 'MonoBook' );
wfLoadSkin( 'Timeless' );
wfLoadSkin( 'Vector' );
wfLoadExtension( 'Cite' );
wfLoadExtension( 'WikiEditor' );
wfLoadExtension( 'Math' );
wfLoadExtension( 'Gadgets' );
# End of automatically generated settings.
# Add more configuration options below.
// $wgSecretKey
// $wgUpgradeKey
// $wgSMTP
// $wgPasswordSender
// $wgEmergencyContact
require 'LocalSettings-secret.php';