// APIOS:NOTE: This originally lived in intl.js for the trunk version, but
// intl.js is excluded from the open source version (no internationalization)
// of strings.  Moved here as a dummy function.
function tx(str, args) {
    return str;
}