Modified user-facing php pages re new .inc.php extension