Admin can't add pages to PDF book on IE8

Does this diff work?

Index: admin_wikitopdf.js
===================================================================
--- admin_wikitopdf.js  (revision 5658)
+++ admin_wikitopdf.js  (working copy)
@@ -4,7 +4,7 @@
     for (var i = 0; i < from_box.options.length; i++) {
        var opt = from_box.options[i];
        if (opt.selected) {
-           to_box.options.add(opt);
+           to_box.add(opt);
            i--;
        }
     }

It appears that MSIE does not support moving options between lists using the add method. We changed this function to create a new object instead. This seems to work in MSIE and FF.

function move_item(from, to) {
    var from_box = document.getElementById(from+'pages_select');
    var to_box = document.getElementById(to+'pages_select');
    for (var i = 0; i < from_box.options.length; i++) {
       var opt = from_box.options[i];
       if (opt.selected) {
           var newOpt = new Option( opt.text, opt.value );
           try {
               to_box.add(newOpt, null); // standards compliant
           }
           catch (ex) {
               to_box.add(newOpt);       // MSIE
           }
           from_box.remove(i);
           i--;
       }
    }
}

Replying to mkc:

It appears that MSIE does not support moving options between lists using the add method. We changed this function to create a new object instead. This seems to work in MSIE and FF. {{{ #!javascript function move_item(from, to) { var from_box = document.getElementById(from+'pages_select'); var to_box = document.getElementById(to+'pages_select'); for (var i = 0; i < from_box.options.length; i++) { var opt = from_box.options[i]; if (opt.selected) { var newOpt = new Option( opt.text, opt.value ); try { to_box.add(newOpt, null); // standards compliant } catch (ex) { to_box.add(newOpt); // MSIE } from_box.remove(i); i--; } } } }}}

This fixes the issue. Thanks.

Applied change to [5674].