Remove “.inc” from require_once statements

Commit 1a095a39402aa9c2a315cb76935cd2c8562353a0 removed the now-useless
“.inc” from the name of several PHP files; this should’ve been followed
by changing the require_once statements accordingly, but I forgot.

This commit addresses that mistake.