Mediawiki: Unterschied zwischen den Versionen

Aus Flinkwiki
Wechseln zu: Navigation, Suche
(Zeichen)
(Neuer Webserver)
Zeile 73: Zeile 73:
  
 
=== Neuer Webserver ===  
 
=== Neuer Webserver ===  
 +
==== Komplettumzug ohne Änderung am System ====
 +
 +
 +
 +
----
 +
 +
==== Migration mit Neuinstallation von Mediawiki ====
 
  <nowiki>
 
  <nowiki>
 
unzip 1.21 on the new server
 
unzip 1.21 on the new server
Zeile 83: Zeile 90:
  
 
----
 
----
 +
 
== Zugriffsrechte ==
 
== Zugriffsrechte ==
  

Version vom 24. Oktober 2018, 19:28 Uhr

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;

Sondereichen

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;

Weitere Sonderzeichen:

&  = &amp; 
€ = &euro; 
@ = &#64;
® = &reg;
‰ = &permil;
¼ = &frac14;
½ = &frac12;
¾ = &frac34;
² = &sup2;
³ = &sup3;
µ = &micro;
π = &pi;


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

Komplettumzug ohne Änderung am System


Migration mit Neuinstallation von Mediawiki

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;
$wgGroupPermissions['*']['edit']          = false;  # Nur noch angemeldeten Benutzern das Bearbeiten erlauben
$wgGroupPermissions['*']['createaccount'] = false;  # Neuanmeldungen verbieten ; SysOps können neue Benutzer weiterhin über die Spezialseite Special:Userlogin hinzufügen.
$wgGroupPermissions['*']['read']          = false;  # Lesen nur nach erfolgreicher Anmeldung ; 

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


|