Committing various live hacks from Wikimedia servers

[lhc/web/wiklou.git] / maintenance / dumpHTML.inc

diff --git a/maintenance/dumpHTML.inc b/maintenance/dumpHTML.inc
index e2e5601..decd278 100644 (file)
--- a/maintenance/dumpHTML.inc
+++ b/maintenance/dumpHTML.inc
@@ -285,7 +285,7 @@ class DumpHTML {
                global $wgUploadPath, $wgLogo, $wgMaxCredits, $wgSharedUploadPath;
                global $wgHideInterlanguageLinks, $wgUploadDirectory, $wgThumbnailScriptPath;
                global $wgSharedThumbnailScriptPath, $wgEnableParserCache, $wgHooks, $wgServer;
-               global $wgRightsUrl, $wgRightsText;
+               global $wgRightsUrl, $wgRightsText, $wgCopyrightIcon;
 
                static $oldLogo = NULL;
                
@@ -330,6 +330,12 @@ class DumpHTML {
                        $wgLogo = $wgScriptPath . $wgLogo;
                }
 
+               # Another ugly hack
+               $wgCopyrightIcon = str_replace( 'src="/images', 
+                       'src="' . htmlspecialchars( $wgScriptPath ) . '/images', $wgCopyrightIcon );
+
+
+
                $wgStylePath = "$wgScriptPath/skins";
                $wgUploadPath = "$wgScriptPath/{$this->imageRel}";
                $wgSharedUploadPath = "$wgUploadPath/shared";