docs: function fileExtension(name, defaultValue) {
          if (defaultValue === void 0) { defaultValue = ""; }
          var extension = defaultValue;
          if (name) {
              var idx = name.lastIndexOf(".");
              if (idx > 0) {
                  extension = name.substring(idx + 1, name.length).toLowerCase();
              }
          }
          return extension;
      }