MediaWiki:Common.js: различия между версиями
Shihov (обсуждение | вклад) Нет описания правки |
Shihov (обсуждение | вклад) Нет описания правки Метка: отменено |
||
| Строка 57: | Строка 57: | ||
// Проверяем, авторизован ли пользователь | // Проверяем, авторизован ли пользователь | ||
var isUserLoggedIn = mw.config.get('wgUserName') !== null; | var isUserLoggedIn = mw.config.get('wgUserName') !== null; | ||
function saveTreeHTML() { | function saveTreeHTML() { | ||