Extension:WikiEditor/pt

A extensão WikiEditor fornece uma interface melhorada de edição de texto wiki. É a interface de edição de texto wiki que a Wikipédia começou a usar em 2010 para utilizadores de computadores de secretária e, por isso, às vezes é chamado o 'editor de texto wiki de 2010'. A extensão costumava fornecer funcionalidades de «laboratório» para as operações de «publicação» e «antevisão», mas estas foram removidas da REL1_31 em diante.

Configuração
Não é necessária qualquer configuração. Por padrão, quando é instalada, esta extensão ficará disponível para todos os utilizadores. Os utilizadores autenticados podem desativá-la nas preferências através da opção.

Se quer que todos os utilizadores a tenham e não a possam desativar, adicione-a a  no seu LocalSettings.php:

Se está a usar uma versão anterior à  e quer que a barra de ferramentas seja padrão para os utilizadores quando se registam inicialmente, adicione esta linha ao seu LocalSettings.php:

Em algumas situações, o WikiEditor pode não aparecer no seu browser após a instalação. Limpar a cache do seu browser resolverá o problema.

Ver também

 * Extension:WikiEditor/Toolbar customization – detalhes técnicos de personalização da barra de ferramentas.
 * Extension:WikiEditor/Toolbar customization/Library – trechos de código para adições gerais à barra de ferramentas.
 * RefToolbar 2.0, JavaScript da wiki que adiciona uma ferramenta para a predefinição Cite à interface gráfica do WikiEditor.
 * Editor de texto wiki de 2017