function getDevURL()

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);
    }