Avoid PHP notice about undefined variable $diffText if $wgFeedDiffCutoff is 0