WikiEditor

Da Wiki-itsos.

L'estensione WikiEditor è un set di moduli basati per facilitare l'editing delle pagine wiki.
È anche l'interfaccia utilizzata attualmente da Wikipedia.

Installazione

Dalla versione 1.18 in avanti di Mediawiki, WikiEditor è già presente in /estensions
Quindi non necessita di essere installata, ma va solo attivata
In LocalSettings.php aggiungere questo codice:

require_once "$IP/extensions/WikiEditor/WikiEditor.php";

Configurazione

Bisogna aggiungere a LocalSettings.php il seguente codice

# Con questo codice, WikiEditor è abilitato ma l'utente può disabilitarlo nelle preferenze
$wgDefaultUserOptions['usebetatoolbar'] = 1;
$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;
# Mostra l'anteprima e la sezione Modifica
$wgDefaultUserOptions['wikieditor-preview'] = 1;
# Mostra i pulsanti Pubblica e Annulla in alto a destra
$wgDefaultUserOptions['wikieditor-publish'] = 1;

In alcune situazioni, WikiEditor potrebbe non essere mostrato dopo l'installazione. Pulire la cache del tuo browser può risolvere il problema.

Nota per gli utilizzatori di Internet Explorer: di base, IIS non interpreta i file .svg. WikiEditor li utilizza per rappresentare le icone. Per sistemarlo, devi aggiungere il mime type [1].

Utilizzare

Ancora da sviluppare

Esempi

Ancora da sviluppare