I wonder which buffet restaurant offers the menu in the OP? That's definitely not the usual buffet offerings at WDW.
There was another thread started the same day as this one for Captains Grille. A poster on that thread stated it is the menu used for holidays like Thanksgiving and Christmas. Definitely explained some of the side dishes!