...and move the old "extensions" into the new directory too...
-----Original Message-----
* Upload the files for 1.13.1 into a new directory
* Move LocalSettings.php and images from the old directory into the new
directory
* Move the old directory away to some backup location
* Move the new directory to where the old directory was.