I had a local Mediawiki 1.7.1 installation on my client Debian 4.0 Etch computer. I bought a new computer and run Mediawiki 1.12.0 and Debian 5.0 Lenny on it. I've mounted the old harddrive on the new computer. What would be the easiest way to import all the old articles into my new installation, with preserved history? It's about 50 articles.