From what I can tell Disney has digital and printed menus. A prior article [1] offers more information on how he did it: "...has admitted to hacking into the company’s menu creation software" and "... formerly worked as the company’s Menu Production Manager...".
I assume that the software probably controls all menus, both digital and printed.