templates/web/docs.js

   1 (function($){
   2         $('p.manual_info select').each(function(){
   3                 $(this).change(function(e){
   4                         if( $(this).val().match(/^[0-9\.]+$/) ){
   5                                 var href = $(this).parent().find('a').attr('href').replace('-current/','-'+$(this).val()+'/');
   6                                 document.location.href=href;
   7                         }
   8                 });
   9         });
  10 })(jQuery);