TI pública/Dicas Mediawiki

De Cartola
Trocando senha de usuário
UPDATE user SET user_password = MD5(CONCAT(user_id, '-', MD5('novasenha'))) WHERE user_name = 'nome_usuario';
Alterando o menu de navegação
Veja aqui. Basicamente devemos editar a página "Mediawiki:sidebar".