Изменения от Главреда ГитЖС | Changes of GitJS Glavred

Este commit está contenido en:
Главред | Glavred
2020-11-03 14:57:35 +03:00
padre 210ac705f6
commit 715ca16f4b
Se han modificado 6 ficheros con 108 adiciones y 52 borrados

24
🎬.js
Ver fichero

@@ -3,24 +3,38 @@
// // // //
ВывестиНеобходимостьПродолженияЗагрузки = мир =>
ОкончитьЗагрузкуМаджонга = мир =>
{
console.debug("ВывестиНеобходимостьПродолженияЗагрузки");
мир.уведомить("надо окончить загрузку маджонга");
};
// // // //
ПроверитьНаличиеОбновленийМаджонга = мир =>
ЗагрузитьЧередуОкончания = мир =>
{
var событие = "надо обновить маджонг при наличии обновлений";
var м = мир.модули.модульПоУказателю(УКАЗАТЕЛЬТОГО_МОДУЛЯ);
var содержимое = м.содержимое["/🏁.js"];
eval(содержимое);
м.исполнитьЧереду(мир, "/🏁.череда");
};
// // // //
ПроверитьНаличиеОбновленийПриложения = мир =>
{
// Эта функция находится вне "/🔄.js", т.к. "/🔄.js" отключаем,
// отчего этой функции просто не будет в пространстве имён.
var событие = "надо обновить приложение при наличии обновлений";
if (событие in мир.события)
{
мир.уведомить(событие);
}
else
{
мир.уведомить("обновления маджонга отсутствуют");
мир.уведомить("обновления приложения отсутствуют");
}
};