in www/static/js/404.js [41:45]
function getDevURL(url) {
var replaceWhat = new RegExp("docs\\/(" + DOCS_LANGUAGE_PATTERN + ")\\/" + DOCS_VERSION_PATTERN);
var replaceWith = "docs/$1/dev";
return url.replace(replaceWhat, replaceWith);
}