deleted obsolete definition.js