/* Package: JumpList This js file sets up a JumpList package or namespace. All javascript jumplist related functions and variables exists within this namespace and are static methods, there are no instances or instance methods in use. The jumplist functions on this page depend upon several elements of the page being set: * There must be exactly one element with a class 'pagination_jumplist_filename_base' containing the filename_base of the current jumplist. {code} dis_index123 {code} * There must be at least one
Jump to:
{code} */ if ( typeof console === 'undefined' ) { // TODO: strip this out in favor of the YUI // console and/or a more // comprehensive dependancy resolver document.write('