function basename(name) {
		if (name.startsWith("module:")) {
			const p = name.lastIndexOf("/");
			name = name.slice(p + 1);
		}
		const p = name.lastIndexOf(".");
		return p < 0 ? name : name.slice(p + 1);
	}
// this function reduces this to the base name
this function reduces this to the base name
this function reduces this to the base name
function basename(name) {
		if (name.startsWith("module:")) {
			const p = name.lastIndexOf("/");
			name = name.slice(p + 1);
		}
		const p = name.lastIndexOf(".");
		return p < 0 ? name : name.slice(p + 1);
	}
function basename ( name ) { if ( name . startsWith ( "module:" ) ) { const p = name . lastIndexOf ( "/" ) ; name = name . slice ( p + 1 ) ; } const p = name . lastIndexOf ( "." ) ; return p < 0 ? name : name . slice ( p + 1 ) ; }
this function reduces this to the base name
this function reduces this to the base name