[@usestrict Participant 9 years, 3 months ago]

I’m also using PHP 7.1. I fixed it by changing line 1800 to cast the value as an array.

if ( empty( $post_stati ) ) {
            $post_stati = (array) bbp_get_public_status_id();