--- drupal/update.php  Fri Dec 16 12:12:05 2005
+++ local/update.php       Thu Dec 15 19:36:13 2005
@@ -500,7 +500,7 @@

   $op = isset($_REQUEST['op']) ? $_REQUEST['op'] : '';
   switch ($op) {
-    case t('Update'):
+    case 'Update':
       $output = update_update_page();
       break;