Select Git revision
extra.js 522 B
function getVersion() {
const segments = location.pathname.split('/');
if (segments.length > 4) {
console.debug('version', segments[3]);
return segments[3];
} else {
console.debug('default version', '__APPVERSION__');
return '__APPVERSION__';
}
}
function switchVersion(value) {
if (!value) { return }
this.location.href = location.protocol + '//' + location.host + '/infrastructures/dbrepo/' + value + '/';
}
document.getElementById("version").value = getVersion();