6.0.0-beta1
▾
Tasks
New Task
Search
Photos
Wiki
▾
Tickets
New Ticket
Search
dev.horde.org
Toggle Alerts Log
Help
9/6/25
H
istory
A
ttachments
C
omment
W
atch
Download
Comment on [#4882] IMSP backend - speedup browse with many groups
*
Your Email Address
*
Spam protection
Enter the letters below:
.__.. .. ,. ..___ | || | \./ |\ |[__ |__||/\| | | \||
Comment
> I can't get this patch to apply cleanly to HEAD. Can you please > create a new patch against a freshly updated copy of imsp.php? > > > > Also, is there a specific reason you choose to use array_push() to > add a single value to the end of the $id array? Using $id[] = > $id[$i] would be slightly more efficient, as it avoids the overhead > of a function call. > > > > Just curious, did you do any benchmarking to see what the improvement > in performance was? > > > > Thanks! > >
Attachment
Watch this ticket
N
ew Ticket
M
y Tickets
S
earch
Q
uery Builder
R
eports
Saved Queries
Open Bugs
Bugs waiting for Feedback
Open Bugs in Releases
Open Enhancements
Enhancements waiting for Feedback
Bugs with Patches
Enhancements with Patches
Release Showstoppers
Stalled Tickets
New Tickets
Horde 5 Showstoppers