Как переместить значки расширения 'Echo' в MediaWiki? - PullRequest
0 голосов
/ 12 февраля 2020

так что я немного застрял. У меня есть свой собственный медиа-вики, и до сих пор я мог сам все выяснить. Существует расширение под названием «Эхо», и я считаю его довольно полезным. Я не хочу иметь значки расширений в разделе «mw-head -> p-personal». Я хочу переместить его на мою собственную панель навигации. Но я не знаю как, похоже, он предназначен для работы только со стандартной кожей. Может быть, кто-то здесь может помочь и имеет некоторый опыт работы с этим расширением.

С наилучшими пожеланиями

1 Ответ

0 голосов
/ 18 февраля 2020

Возможно, вы можете использовать хук PersonalUrls . Зарегистрируйте его так, чтобы он запускался после Echo (например, через Hooks::register, который всегда вызывается позже, чем обычный механизм регистрации перехвата), удалите элементы notifications-alert и notifications-notice массива и отобразите их на собственной панели инструментов.

...