Hello: Database newbie here, and I've been tasked with migrating our mediaWiki server content over to dokuWiki. I'm aware of the resource here, https://dokuwiki.org/tips:mediawiki_to_dokuwiki_converter
but it won't work, as we're running php 5.3.3. I've managed to convert the sql db's from the mw server and copy to dw, but now I'm NOT AT ALL sure what needs to happen next. Any ideas?