Reported in forums
can we fix this bug though or is it some kind of php bug?
(In ) fixes #3210 - workaround php 5.2.0 bug
very nice of you to fix that one, thanks Anthon!
How many tickets have we created (and fixed..) over the years because of bugs in PHP... ;-)
I have lost count. ;)
(In ) Refs #3210 Fix typo... which interestingly didn't break the build (do the WebTest test for Plugins enable/Disable?) -- I guess they're still not running? :)