Hi Buridan,
If you have caching enabled at all. You might want to visit “Tools” > “Data” > “Clear Caching”. From here you will want to select “All caches” and click “Submit”
It could aslo be that not all javascript files were successfully uploaded to the server. Re-uploading a 2.1.3 version of the “themes/javascript” folder and it’s contents could do the trick.
Please let us know if either of these help you.