var DOC_VERSIONS = [ "v1", "v1.4", "v1.3", "v1.2", "v1.1", "v1.0", "dev", ]; var DOCUMENTER_NEWEST = "v1.4.1"; var DOCUMENTER_STABLE = "v1";