Fix All checkbox in Opera (bug #374)

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 0d33e81b4e5f417b6a909f8a076ecd7970044f59..3a8431e67be4d328b60e1e943569fb0c3959ff95 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -95,7 +95,7 @@ function parentTag(el, tag) {
 function trCheck(el) {
        var tr = parentTag(el, 'tr');
        alterClass(tr, 'checked', el.checked);
-       if (el.form && el.form['all']) {
+       if (el.form && el.form['all'] && el.form['all'].onclick) { // Opera thinks that 'all' is who knows what
                el.form['all'].onclick();
        }
 }