| 
														
															@@ -11,7 +11,7 @@ 
														 | 
													
												
											
												
													
														| 
														 | 
														
															         var js = document.createElement('script'); 
														 | 
														
														 | 
														
															         var js = document.createElement('script'); 
														 | 
													
												
											
												
													
														| 
														 | 
														
															         js.setAttribute("type", "text/javascript"); 
														 | 
														
														 | 
														
															         js.setAttribute("type", "text/javascript"); 
														 | 
													
												
											
												
													
														| 
														 | 
														
															         js.setAttribute("async", true); 
														 | 
														
														 | 
														
															         js.setAttribute("async", true); 
														 | 
													
												
											
												
													
														| 
														 | 
														
															-        js.onload = function() { hljs.initHighlight(); }; 
														 | 
														
														 | 
														
															 
														 | 
													
												
											
												
													
														| 
														 | 
														
															 
														 | 
														
														 | 
														
															+        js.onload = function() { hljs.initHighlighting(); }; 
														 | 
													
												
											
												
													
														| 
														 | 
														
															         js.setAttribute("src", "https://d2xxklvztqk0jd.cloudfront.net/js/highlight.js"); 
														 | 
														
														 | 
														
															         js.setAttribute("src", "https://d2xxklvztqk0jd.cloudfront.net/js/highlight.js"); 
														 | 
													
												
											
												
													
														| 
														 | 
														
															         var t = document.getElementsByTagName('script')[0]; t.parentNode.insertBefore(js, t); 
														 | 
														
														 | 
														
															         var t = document.getElementsByTagName('script')[0]; t.parentNode.insertBefore(js, t); 
														 | 
													
												
											
												
													
														| 
														 | 
														
															     } 
														 | 
														
														 | 
														
															     } 
														 |