docs: function (msg, msgArgs, err) {
                  // replaced by the true logging function when
                  // aria.core.Log is loaded
                  // If it's not replaced because the log is never
                  // downloaded, at least there will be errors in the
                  // console.
                  if (Aria.$global.console) {
                      if (typeof msgArgs === "string")
                          msgArgs = [msgArgs];
                      Aria.$global.console.error(msg.replace(/%[0-9]+/g, function (token) {
                          return msgArgs[parseInt(token.substring(1), 10) - 1];
                      }), err);
                  }
                  return "";
              }