[Mediawiki-l] Best option for going from 1.13 to 1.13.1