docs/js/extra.js
/**
 * Analyzes the URL of the current page to find out what the selected GitHub branch is. It's usually
 * part of the location path. The code needs to distinguish between running MkDocs standalone
 * and docs served from RTD. If no valid branch could be determined 'dev' returned.
 *
 * @returns GitHub branch name
 */
Analyzes the URL of the current page to find out what the selected GitHub branch is. It's usually
part of the location path. The code needs to distinguish between running MkDocs standalone
and docs served from RTD. If no valid branch could be determined 'dev' returned.

@returns GitHub branch name
Analyzes the URL of the current page to find out what the selected GitHub branch is . It ' s usually part of the location path . The code needs to distinguish between running MkDocs standalone and docs served from RTD . If no valid branch could be determined ' dev ' returned . @returns GitHub branch name
function determineSelectedBranch() {
  var branch = 'stable', path = window.location.pathname;
  branch = path.split('/')[2];
  return branch;
}
function determineSelectedBranch ( ) { var branch = 'stable' , path = window . location . pathname ; branch = path . split ( '/' ) [ 2 ] ; return branch ; }
Analyzes the URL of the current page to find out what the selected GitHub branch is.
Analyzes the URL of the current page to find out what the selected GitHub branch is .
// path is like /en/<branch>/<lang>/build/ -> extract 'lang' // split[0] is an '' because the path starts with the separator