Mediawiki: Unterschied zwischen den Versionen

Aus Flinkwiki
Wechseln zu: Navigation, Suche
K (Schützte „Mediawiki“ ([Bearbeiten=Nur Administratoren erlauben] (unbeschränkt) [Verschieben=Nur Administratoren erlauben] (unbeschränkt)))
(Allen Benutzern das Schreibrecht entziehen)
Zeile 77: Zeile 77:
  
 
Eintrag in ''LocalSettings.php'':
 
Eintrag in ''LocalSettings.php'':
  $wgGroupPermissions['user']['edit'] = true;
+
  $wgGroupPermissions['*']['edit'] = true;
 
This gives all registered users the ability to edit pages.[https://www.mediawiki.org/wiki/Manual:$wgGroupPermissions/de]
 
This gives all registered users the ability to edit pages.[https://www.mediawiki.org/wiki/Manual:$wgGroupPermissions/de]
  
 
-> Zum Entziehen der Berechtigung muss der Wert <code>false</code>eingetragen werden.
 
-> Zum Entziehen der Berechtigung muss der Wert <code>false</code>eingetragen werden.
 +
 +
* https://www.mediawiki.org/wiki/Manual:User_rights/de#Gruppenberechtigungen_ändern
  
 
----
 
----

Version vom 24. Oktober 2018, 10:31 Uhr

test


Installation

Download von https://www.mediawiki.org/wiki/MediaWiki/de.

Oder von der Shell aus:

wget https://releases.wikimedia.org/mediawiki/1.30/mediawiki-1.30.0.tar.gz

Hochladen von Dateien

Folgendes muss in der php.ini gesetzt sein:

file_uploads = On


In LocalSettings.php muss das Hochladen aktiviert sein:

$wgEnableUploads = true;

Zeichen

Die Zeichen werden maskiert (escaped), indem man das & mit &amp; ersetzt.


Geschütztes Leerzeichen (nbsp = non-breaking space = Leerzeichen ohne Umbruch):

&nbsp;

Geschützter Bindestrich (non-breaking hyphen = Bindestrich ohne Umbruch)) dezimal:

&#8209;

oder hexadezimal:

&#x2011;

[1]


Spitze Klammer ("kleiner als") öffnen:

&lt;

Spitze Klammer ("größer als") schließen:

&gt;

Copyright ©

 &copy;

Datensicherung und Migration

HTML-Dump einer Mediawiki-Site

wget -k -p -r -R '*Special*' -R '*Help*' -E wiki-beispiel_url.de

[2]

Bei verschlüsselten Seiten:

wget --no-check-certificate -k -p -r -R '*Special*' -R '*Help*' -E https://wiki-beispiel_url.de

[3]


Neuer Webserver

unzip 1.21 on the new server
copy LocalSettings.php and the images directory from the old server
update the DB settings in the LocalSettings.php
import the DB from the old server to the new server
run update.php on the new server

[4]


Zugriffsrechte

http://mikiwiki.org/wiki/Mediawiki/Zugriffsrechte


Allen Benutzern das Schreibrecht entziehen

Eintrag in LocalSettings.php:

$wgGroupPermissions['*']['edit'] = true;

This gives all registered users the ability to edit pages.[5]

-> Zum Entziehen der Berechtigung muss der Wert falseeingetragen werden.


Troubleshooting

Sessiondaten werden nicht gehalten

Festgestellt bei Mediawiki 1.31.1: Beim Login muss man mehrmals die Daten eingeben und Mediawiki meldet Benutzer ständig ab.

>>> In LocalSettings.php die Zeile $wgSessionCacheType = CACHE_DB; einfügen. [6]



Admin-Passwort vergessen

Normalerweise kann man dass Passwort über die Passwort vergessen?-Funktion wiederherstellen.

Wenn es über die Datenbank geändert werden muss, ruft man in Mysql/MariaDB die Datenbank auf und ändert das Passwort mit folgendem Befehl (Beispiel):

UPDATE user SET user_password="dbb4b3faa3c2f7473793316bb361a417f8353e7d" WHERE user_name='maxmuster';

Generierung des Hashs auf auf der Linux-Shell:

echo -n password | sha1sum | awk '{print $1}'

Gelöschte Seiten aus der Datenbank entfernen

Dazu gibt es im Verzeichnis maintenance ein Skript:

php7.1 deleteArchivedRevisions.php --delete



Online-Hilfe von Mediawiki


|