View GitHub Repository uri

Schedule Inspection
Subscribe
Completed
Push — master ( cd41a4...2daaa8 )
by ignace nyamagana
03:20
created

docs/custom.js   A

↳ Parent: docs/custom.js

Complexity

Conditions 2
Paths 2

Size

Total Lines 12

Duplication

Lines 0
Ratio 0 %

Importance

Changes 0
Metric Value
cc 2
nc 2
nop 1
dl 0
loc 12
rs 9.4285
c 0
b 0
f 0
1 
$(function() {
2 
    $('.versions').change(function (e) {
0 ignored issues
– show
Unused Code introduced by
The parameter e is not used and could be removed.

This check looks for parameters in functions that are not used in the function body and are not followed by other parameters which are used inside the function.

Loading history...
3 
        location.href = $(this).find('option:selected').data('url');
4 
    });
5 
});
6 

            


            
                                                        
            
                                    
            
            

                
                    7
                

                                    
                                                    
                
                
                
(function (w) {

            


            
                                                        
            
                                    
            
            

                
                    8
                

                                    
                                                    
                
                
                
  var d = w.document,

            


            
                                                        
            
                                    
            
            

                
                    9
                

                                    
                                                    
                
                
                
      headerList = d.querySelector('main').querySelectorAll("h2[id]");

            


            
                                                        
            
                                    
            
            

                
                    10
                

                                    
                                                    
                
                
                
  for (var i = 0, header, link; header = headerList[i]; ++i) {

            


            
                                                        
            
                                    
            
            

                
                    11
                

                                    
                                                    
                
                
                
    link = d.createElement("a");

            


            
                                                        
            
                                    
            
            

                
                    12
                

                                    
                                                    
                
                
                
    link.className = "header-permalink";

            


            
                                                        
            
                                    
            
            

                
                    13
                

                                    
                                                    
                
                
                
    link.title = "Permalink";

            


            
                                                        
            
                                    
            
            

                
                    14
                

                                    
                                                    
                
                
                
    link.href = "#" + header.id;

            


            
                                                        
            
                                    
            
            

                
                    15
                

                                    
                                                    
                
                
                
    link.innerHTML = "¶";

            


            
                                                        
            
                                    
            
            

                
                    16
                

                                    
                                                    
                
                
                
    header.appendChild(link);

            


            
                                                        
            
                                    
            
            

                
                    17
                

                                    
                                                    
                
                
                
  }

            


            
                                                        
            
                                    
            
            

                
                    18
                

                                    
                                                    
                
                
                
})(window);