[Ipstenu (Mika Epstein)]

It’s a bit late for it, but you could have checked the ‘last edited’ timestamp on that file.

As is, check your bbPress (and WP if integrated) for any users with weird access levels. See if anything else is weird. Change your passwords, too.