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) => { | ||
const textsP = Array.from(users) | |||
.map((user) => api.parse(`{{Nutzerkarte|${user}}}`) | |||
.fail((ignored) => null)); | |||
$.when(textsP) | |||
.then((texts)=> texts.filter((t) => t!==null)) | |||
.then((texts)=> $(element).append(texts)); | |||
}); | }); | ||
}); | }); | ||
