2 if( CheckVersion( $DBversion ) ) {
4 INSERT IGNORE INTO keyboard_shortcuts (shortcut_name, shortcut_keys)
5 VALUES ("toggle_keyboard", "Shift-Ctrl-K")
8 SetVersion( $DBversion );
9 print "Upgrade to $DBversion done (Bug 17178 - add shortcut to keyboard_shortcuts)\n";