dimensions.js has been part of jquery since 1.2.6 or so. It's not even referred to from any code.