I don’t see the deprecated.js file being loaded, this may be a caching problem on my side (although I cleared my browser cache), but it could also be that your change hasn’t reached the server yet.
My firebug says:
OpenLayers documentation says:
Have fun in the Orient!