Function getExtensionID

src/back/extensions/ExtensionsScanner.ts:122–128

* Returns the extensions ID given its author and name from its manifest * * @param author Author of the extension * @param name Name of the extension

(author: string, name: string)

 * @param name Name of the extension
 */
function getExtensionID(author: string, name: string) {
  const fAuthor = author.toLowerCase().replace(' ', '-');
  if (name.includes(' ') || name.toLowerCase() !== name) {
    throw new Error('Extension names may not include uppercase or space characters!');
  }
  return `${fAuthor}.${name}`;
}

/**
 * Parses an extension