// This is a fake menutext.js. For the real one, see the menutext backup.js file.