Widget:Autorenbox: Unterschied zwischen den Versionen
Aus ZUM-Unterrichten
KKeine Bearbeitungszusammenfassung Markierung: 2017-Quelltext-Bearbeitung |
KKeine Bearbeitungszusammenfassung Markierung: 2017-Quelltext-Bearbeitung |
||
| Zeile 22: | Zeile 22: | ||
).then((users) => new Set(users)) | ).then((users) => new Set(users)) | ||
.then((users) => { | .then((users) => { | ||
$.when(users.map((user) => api.parse(`{literal}{{Nutzerkarte|${user}}}{/literal}`).then((data) => data.parse.text['*']).fail((ignored)=>null))).then((texts)=> texts.filter((t) => t!==null)).then((t)=>$(element).append(t)); | $.when(Array.from(users).map((user) => api.parse(`{literal}{{Nutzerkarte|${user}}}{/literal}`).then((data) => data.parse.text['*']).fail((ignored)=>null))).then((texts)=> texts.filter((t) => t!==null)).then((t)=>$(element).append(t)); | ||
}); | }); | ||
}); | }); | ||
