diff --git a/conf/LocalSettings.php b/conf/LocalSettings.php index b8361dd..115d2ba 100755 --- a/conf/LocalSettings.php +++ b/conf/LocalSettings.php @@ -157,3 +157,17 @@ $wgLDAPPreferences = array( ); $wgLDAPDebug = 0; + + +#RemoteUser +require_once 'extensions/Auth_remoteuser/Auth_remoteuser.php'; +$wgAuth = new Auth_remoteuser(); + +$wgAuthRemoteuserAuthz = true; +$wgAuthRemoteuserName = $_SERVER["AUTHENTICATE_CN"]; +$wgAuthRemoteuserMail = $_SERVER["AUTHENTICATE_MAIL"]; + +// Don't let anonymous people do things... +$wgGroupPermissions['*']['createaccount'] = false; +$wgGroupPermissions['*']['read'] = false; +$wgGroupPermissions['*']['edit'] = false; diff --git a/scripts/install b/scripts/install index 1d14e73..fc3577e 100644 --- a/scripts/install +++ b/scripts/install @@ -38,6 +38,14 @@ sudo mv wikimedia-mediawiki-extensions-LdapAuthentication*/* $final_path/extensi sudo rm -R wikimedia-mediawiki-extensions-LdapAuthentication* sudo rm REL1_22 +# RemoteUser Extension +sudo wget https://codeload.github.com/wikimedia/mediawiki-extensions-Auth_remoteuser/legacy.tar.gz/REL1_22 +sudo tar -xzf REL1_22 +sudo mkdir $final_path/extensions/Auth_remoteuser +sudo mv wikimedia-mediawiki-extensions-Auth_remoteuser*/* $final_path/extensions/Auth_remoteuser/ +sudo rm -R wikimedia-mediawiki-extensions-Auth_remoteuser* +sudo rm REL1_22 + # Change variables in Mediawiki configuration sudo sed -i "s/ynh_wiki_name/$wiki_name/g" $final_path/LocalSettings.php sudo sed -i "s@ynh_wiki_path@$path@g" $final_path/LocalSettings.php