echo __('Package Search'); ?> :</label> <input type="hidden" name="O" value="0" /> <input id="pkgsearch-field" type="text" name="K" size="30" value="<?php if (isset($_REQUEST["K"])) { print stripslashes(trim(htmlspecialchars($_REQUEST["K"], ENT_QUOTES))); } ?> " maxlength="35" /> </fieldset> </form> </div> <div id="pkg-updates" class="widget box"> <?php updates_table(); ?> </div> <div id="pkg-stats" class="widget box"> <?php general_stats_table(); ?> </div> <?php if (!empty($_COOKIE["AURSID"])) { ?> <div id="pkg-stats" class="widget box"> <?php user_table(uid_from_sid($_COOKIE["AURSID"])); ?> </div>
</p> <p> <?php echo __('Remember to vote for your favourite packages!'); ?> <br /> <?php echo __('Some packages may be provided as binaries in [community].'); ?> </p> <table border='0' cellpadding='0' cellspacing='3' width='90%'> <tr> <td class='boxSoft' valign='top'> <?php updates_table($dbh); ?> </td> <td class='boxSoft' valign='top'> <?php if (!empty($_COOKIE["AURSID"])) { $user = username_from_sid($_COOKIE["AURSID"]); user_table($user, $dbh); echo '<br />'; } general_stats_table($dbh); ?> </td> </tr> </table>