function makeURI(uri) { return Services.io.newURI(uri);
}
function createPrincipal(aURI) { try { var uri = makeURI(aURI); var principal = ssm.createContentPrincipal(uri, {}); return principal;
} catch (e) { returnnull;
}
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.