in www/static/js/404.js [11:14]
function splitDocsURL(url) { var splitPattern = new RegExp("(" + DOCS_VERSION_PATH_PATTERN + ")"); return url.split(splitPattern); }