It has been fixed, why would you want an alternative solution? And no, 
your solution is not the correct one.

My apache told me "File does not exist: /var/www/horde/ingo/js, 
referer: https://..../horde/ingo/filters.php" so I looked around in 
the directory tree of horde and ingo for the "missing" stripe.js. I 
found some in "horde/js/" so I simply made a:

cat <<"EOF" | patch horde/ingo/filters.php

--- filters.php.orig    2006-01-31 21:00:23.000000000 +0100

+++ filters.php 2006-04-12 07:52:15.859774196 +0200

@@ -109,7 +109,7 @@

  $filter_list = $filters->getFilterList();



  Horde::addScriptFile('tooltip.js', 'horde', true);

-Horde::addScriptFile('stripe.js', 'ingo', true);

+Horde::addScriptFile('stripe.js', 'horde', true);

  $title = _("Filter Rules");

  require INGO_TEMPLATES . '/common-header.inc';

  require INGO_TEMPLATES . '/menu.inc';

EOF



After that I found, that there exists a stripe.js in CVS of ingo, but a

diff checkedout-stripe.js /var/www/horde/js/stripe.js

5c5

<  * $Horde: ingo/js/stripe.js,v 1.1 2006/01/16 04:16:53 slusarz Exp $

---
7,8c7,8

<  * See the enclosed file COPYING for license information (GPL). If 
you did not

<  * receive this file, see http://www.fsf.org/copyleft/gpl.html.

---
shows no significant differences. I suppose the solution of bug #3623 
show be to correct the "typo" instead of including a second copy of 
the stripe.js ?