Блог Bingam

Июн/14

5

Extension:WikiEditor

При установке медиавики было предложено сразу включить расширение для удобного редактирования страниц. Однако при правке меню редактирования оставалось ровно таким же как и без расширения Extension:WikiEditor. Улучшить мен редактирования получилось только добавлением кода в файл LocalSettings.php:

Ozersk 2014-06-05 1
# Enables use of WikiEditor by default but still allow users to disable it in preferences
$wgDefaultUserOptions['usebetatoolbar'] = 1;
$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;

# Displays the Preview and Changes tabs
$wgDefaultUserOptions['wikieditor-preview'] = 1;

# Displays the Publish and Cancel buttons on the top right side
$wgDefaultUserOptions['wikieditor-publish'] = 1;

Ozersk 2014-06-05 2

Ссылки:

https://www.mediawiki.org/wiki/Extension:WikiEditor

Поделиться в соц. сетях

Опубликовать в Google Buzz
Опубликовать в Google Plus
Опубликовать в LiveJournal
Опубликовать в Мой Мир
Опубликовать в Одноклассники

Похожие записи:

Проблема с загрузкой файлов
Как изменить имя пользователя Mediawiki
Как очистить кеш своего браузера

No tags

Еще нет комментариев.

Написать коммент

«

»

© 2010-2017 Bingam personal site

Theme Design by devolux.nh2.me

Статистика

Locations of visitors to this page
Яндекс.Метрика

Баннеры

Valid Robots.txt
Наверх