Difference between revisions of "MergeConflicts"
| Line 9: | Line 9: | ||
}} | }} | ||
| − | {{warning}} Для | + | == Установка == |
| + | |||
| + | {{warning}} Для работы требует патча в код ядра MediaWiki. В [[Mediawiki4Intranet]] патч уже применён. На обычную версию MediaWiki применяйте патч следующей командой, с помощью утилиты [http://www.gnu.org/software/patch/ GNU patch] ([http://gnuwin32.sourceforge.net/packages/patch.htm она же для Windows]): | ||
<pre> | <pre> | ||
patch -p0 -d MEDIAWIKI_DIRECTORY < MergeConflicts.diff | patch -p0 -d MEDIAWIKI_DIRECTORY < MergeConflicts.diff | ||
</pre> | </pre> | ||
| + | |||
| + | Кроме этого, нужно выполнить стандартную процедуру — включить файл расширения в LocalSettings.php. | ||
| + | |||
| + | == Использование == | ||
Когда $wgDiff3 установлен, это расширение включает показ конфликтов редактирования в 3 колонки и помещает объединённый текст со стандартным выделением конфликтов в верхнее поле редактирования. | Когда $wgDiff3 установлен, это расширение включает показ конфликтов редактирования в 3 колонки и помещает объединённый текст со стандартным выделением конфликтов в верхнее поле редактирования. | ||
Revision as of 14:00, 11 January 2013
MergeConflicts — расширение MediaWiki.
- Назначение: Улучшенные слияния и показ конфликтов редактирования в 3 колонки.
- Репозиторий: https://github.com/mediawiki4intranet/MergeConflicts
- Домашняя страница: http://wiki.4intra.net/MergeConflicts* Версия MediaWiki: гарантирована совместимость с 1.18, возможна с другими
- Лицензия: GNU GPL версии 2 или новее* Дата создания: 2011-05-16* Последняя версия: 2012-02-03
Включение в сборку Mediawiki4Intranet:
- Дата включения: 2011-05-16
- Включённая версия: последняя
- Состояние доработок: Создано в рамках MediaWiki4Intranet
Установка
Для работы требует патча в код ядра MediaWiki. В Mediawiki4Intranet патч уже применён. На обычную версию MediaWiki применяйте патч следующей командой, с помощью утилиты GNU patch (она же для Windows):
patch -p0 -d MEDIAWIKI_DIRECTORY < MergeConflicts.diff
Кроме этого, нужно выполнить стандартную процедуру — включить файл расширения в LocalSettings.php.
Использование
Когда $wgDiff3 установлен, это расширение включает показ конфликтов редактирования в 3 колонки и помещает объединённый текст со стандартным выделением конфликтов в верхнее поле редактирования.
Когда $wgDiff3 недоступен, патч, идущий в комплекте с этим расширением, меняет верхнее и нижнее поля местами, так что ваш текст остаётся в верхнем поле, а не перемещается в нижнее, как это происходит в обычной MediaWiki.
Внимание! Это меняет базовое поведение MediaWiki при конфликтах редактирования, и хотя изменённое поведение обычно более удобно, оно может быть непривычно вашим пользователям, и не заставляет их копировать свои изменения из нижнего поля в верхнее, а это (как, по-видимому, думают авторы MediaWiki) может привести к тому, что они просто будут перезаписывать чужие правки своими, тупо нажимая «Сохранить» и не читая предупреждения.
