Me too i checked in a few months back not many but this very same year, and it was recording 720p in 3GP I was like and than i upgraded to OS 7.1 and that thing was fixed to MP4 so yes you aren't alone
Ok. Thanks for letting me know it's not just me, or that I changed some settings. It's not a big deal or anything, but I'd just prefer if everything was the same. Two different file types could be annoying in the future if I need to upload it somewhere and only one of them is accepted.