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!