[09:07:12] fyi npm is partially down so CI jobs will be failing randomly https://status.npmjs.org/ [12:52:40] [[Tech]]; 80.123.119.174; /* Font Size */ new section; https://meta.wikimedia.org/w/index.php?diff=20343765&oldid=20340957&rcid=16035145 [17:45:49] Nemo_bis: re: my pending patchset to mediawiki-core for ban-bali, is it possible to get that name added to Names.php without worrying about locales/messages yet? [17:46:09] I guess we could also add ban-latn with the same name as ban, if we want [17:46:40] but the priority right now is making it possible to have page language set to ban-bali. otherwise those pages won't display correctly with the right font