Hi I'm trying to make an HTML dump of a locally installed mediawiki instance. Can you please help figure out a workaround? Here is a copy of the console with the error message I get at then end: user@host:~$ sudo php /var/www/wiki/extensions/DumpHTML/dumpHTML.php -d /home/user/Desktop/backup [sudo] password for user: WARNING: destination directory already exists, skipping initialisation Creating static HTML dump in directory /home/user/Desktop/backup. Using database localhost Starting from page_id 1 of 1159 PHP Fatal error: Cannot access protected property LocalRepo::$thumbScriptUrl in /var/www/w/extensions/DumpHTML/dumpHTML.inc on line 1163