GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.
Completed
Push — master ( 1b02fd...6d1c18 )
by Joss
01:06
created

doc/assets/site.js   A

Complexity

Total Complexity 9
Complexity/F 3

Size

Lines of Code 37
Function Count 3

Duplication

Duplicated Lines 0
Ratio 0 %

Importance

Changes 1
Bugs 0 Features 0
Metric Value
cc 0
c 1
b 0
f 0
nc 1
dl 0
loc 37
rs 10
wmc 9
mnd 3
bc 10
fnc 3
bpm 3.3333
cpm 3
noi 2
1
/* global anchors */
2
3
// add anchor links to headers
4
anchors.options.placement = 'left';
5
anchors.add().remove('.no-anchor');
6
7
// Filter UI
8
var tocElements = document.getElementById('toc').getElementsByTagName('a');
9
document.getElementById('filter-input').addEventListener('keyup', function(e) {
10
11
  var i, element;
12
13
  // enter key
14
  if (e.keyCode === 13) {
15
    // go to the first displayed item in the toc
16
    for (i = 0; i < tocElements.length; i++) {
17
      element = tocElements[i];
18
      if (!element.classList.contains('hide')) {
19
        location.replace(element.href);
20
        return e.preventDefault();
21
      }
22
    }
23
  }
24
25
  var match = function() { return true; },
26
    value = this.value.toLowerCase();
27
28
  if (!value.match(/^\s*$/)) {
29
    match = function(text) { return text.toLowerCase().indexOf(value) !== -1; };
30
  }
31
32
  for (i = 0; i < tocElements.length; i++) {
33
    element = tocElements[i];
34
    if (match(element.innerHTML)) {
35
      element.classList.remove('hide');
36
    } else {
37
      element.classList.add('hide');
38
    }
39
  }
40
});
41