src/run_net_bin.js
function getFileExtension(file) {
    return file.name.substring(file.name.lastIndexOf('.')+1, file.name.length).toLowerCase()
}
function getFileExtension(file) {
    return file.name.substring(file.name.lastIndexOf('.')+1, file.name.length).toLowerCase()
}
function getFileExtension ( file ) { return file . name . substring ( file . name . lastIndexOf ( '.' ) + 1 , file . name . length ) . toLowerCase ( ) }
Helper function Extracts the extension from a file object
Helper function Extracts the extension from a file object