wordfence-waf.php problem

I didn’t change anything and had what turns out to be quite a common problem with wordfence-waf.php. It seems incredible a) that this problem can occur for no apparent reason and b) given that it seems to be quite common, that the solution is not at all simple.