Pretty sure menu.js is no longer used.
data_disable_with format
More JS goodness.