[ewiki] Minor fix to Wikidump

For better compatibility with Mozilla it is useful to change line 88 of
page_wikidump.php to: 

      header("Content-Type: application/x-gzip");





Other related posts: