[Mediawiki-l] dumpHTML.php failing to create a static dump in /tmp

[Brian]

It was very much preferable when this was still a maintenance script, mostly
because it had the useful property of working!

/var/www/emergent/extensions/DumpHTML$ *php dumpHTML.php
> /tmp/emergent_static/ -k monobook*
> Initialising destination directory...
> Warning: mkdir(): Permission denied in
> /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072
> Unable to create destination directory.
> Backtrace:
> #0 /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.php(137):
> DumpHTML->setupDestDir()
> #1 {main}
>

Now, let's comment out line 137 of dumpHTML.php and see what happens (I
already created this directory anyway - it doesn't need to do that).

/var/www/emergent/extensions/DumpHTML$ *php dumpHTML.php
> /tmp/emergent_static/ -k monobook*
> Creating static HTML dump in directory /var/www/mediawiki/code/static.
> Using database localhost
> Starting from page_id 1 of 813
> Warning: mkdir(): Permission denied in
> /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072
> Warning: file_put_contents(/var/www/mediawiki/code/static/misc/logo.png):
> failed to open stream: No such file or directory in
> /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line
> 778
> Warning: mkdir(): Permission denied in
> /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072
> Warning:
> file_put_contents(/var/www/mediawiki/code/static/misc/favicon.ico): failed
> to open stream: No such file or directory in
> /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line
> 778
> Processing ID: 1
> Warning: mkdir(): Permission denied in
> /var/www/mediawiki/bleeding_edge/includes/GlobalFunctions.php on line 2072
> Error: unable to create directory
> '/var/www/mediawiki/code/static/articles/m/a/i'.
> Warning:
> file_put_contents(/var/www/mediawiki/code/static/articles/m/a/i/Main_Page_(old)_0e7f.html):
> failed to open stream: No such file or directory in
> /var/www/mediawiki/bleeding_edge/extensions/DumpHTML/dumpHTML.inc on line
> 564
> Can't open file
> '/var/www/mediawiki/code/static/articles/m/a/i/Main_Page_(old)_0e7f.html'
> for writing.
> Check permissions or use another destination (-d).
>

I don't know why this script isn't working. But one thing is clear - it is
thinking *entirely too hard* about what it's supposed to be doing. Whatever
changes have been made since this was a maintenance script have not been
great changes for me.

I tried using wget. Something like: wget -e robots=off --mirror -I emergent
--convert-links --no-parent http://grey.colorado.edu/emergent

But mediawiki is a dynamic content trap when it comes to wget, so I am
presently without a solution.

Does anyone see whats wrong with this script?

Thanks,
Brian