Reported in forums
can we fix this bug though or is it some kind of php 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? :)