Another prototypejs fix
Maintain local prototype.js patch in horde.js