/**
  * Set extension license keys, usually called in mysite/_config.
  * 
  * @param Array $key 
  */
 public static function set_extension_license_keys(array $keys)
 {
     self::$extension_license_keys = $keys;
 }