Added jQuery to page using interactive.js; does not yet do anything with page
parent
d107992fc4
commit
97036e4c88
|
@ -1,2 +1,25 @@
|
|||
/**
|
||||
* Makes HTML documentation interactive
|
||||
*/
|
||||
|
||||
var head = document.getElementsByTagName( 'head' )[ 0 ],
|
||||
sjquery = document.createElement( 'script' ),
|
||||
sjquery_ui = document.createElement( 'script' ),
|
||||
css = document.createElement( 'link' );
|
||||
|
||||
sjquery.type = sjquery_ui.type = 'text/javascript';
|
||||
|
||||
css.type = 'text/css';
|
||||
css.rel = 'stylesheet';
|
||||
|
||||
sjquery.src =
|
||||
'https://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js';
|
||||
sjquery_ui.src =
|
||||
'https://ajax.googleapis.com/ajax/libs/jqueryui/1.8.11/jquery-ui.min.js';
|
||||
css.href =
|
||||
'http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.10/themes/base/jquery-ui.css';
|
||||
|
||||
head.appendChild( sjquery );
|
||||
head.appendChild( sjquery_ui );
|
||||
head.appendChild( css );
|
||||
|
||||
// placeholder
|
||||
|
|
Loading…
Reference in New Issue