Restore 'deprecated' function in util.js.