[Tickets #1705] NEW: Don't use array_push

[bugs at bugs.horde.org]

DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.

Ticket URL: http://bugs.horde.org/ticket/?id=1705
-----------------------------------------------------------------------
 Ticket             | 1705
 Created By         | selsky at columbia.edu
 Summary            | Don't use array_push
 Queue              | Horde Base
 Version            | HEAD
 State              | New
 Priority           | 1. Low
 Type               | Enhancement
 Owners             | 
+New Attachment     | remove_prefs.patch
-----------------------------------------------------------------------


selsky at columbia.edu (2005-04-07 02:36) wrote:

This removes array_push() calls from scripts/remove_prefs.php since that
function can be slow.