install/index.php
changeset 804 4891baa203da
parent 801 eb8b23f11744
child 938 5d9060b4253f
equal deleted inserted replaced
803:ab64a963e492 804:4891baa203da
   113                     </a>
   113                     </a>
   114                   </li>';
   114                   </li>';
   115                   }
   115                   }
   116                   else
   116                   else
   117                   {
   117                   {
       
   118                     $upgrade_script = file_exists('./install/onlineupgrade.php') ? 'onlineupgrade.php' : 'upgrade.php';
   118                     if ( HAVE_PHP5 && !isset($_GET['debug_warn_php4']) )
   119                     if ( HAVE_PHP5 && !isset($_GET['debug_warn_php4']) )
   119                       echo '<li><a href="upgrade.php" class="upgrade icon">Upgrade</a></li>';
   120                       echo '<li><a href="' . $upgrade_script . '" class="upgrade icon">Upgrade</a></li>';
   120                     else
   121                     else
   121                       echo '<li>
   122                       echo '<li>
   122                     <span class="upgrade-disabled icon icon-disabled">
   123                     <span class="upgrade-disabled icon icon-disabled">
   123                       Upgrade
   124                       Upgrade
   124                       <small>
   125                       <small>