Daniel Shahaf wrote on Sat, Feb 25, 2017 at 08:09:50 +0000: > I've just pushed upstream the fix for this (attached to the OP) in > revision 6c476c22111122006dcacc767b2c2846ede881e8 towards 5.3.2/5.4.
So that ($options) has been reverted, and the original ($functions) is about to be rewritten upstream too. At this point I don't feel the fix is stable enough to be backported. Let's close this bug then? Can always revisist this once upstream stabilizes. Cheers, Daniel