versions.js

var DOC_VERSIONS = [
  "stable",
  "v2.6",
  "v2.2",
  "v1.0",
  "v0.4",
  "dev",
];
var DOCUMENTER_NEWEST = "v2.6.2";
var DOCUMENTER_STABLE = "stable";