Width and hight of the wrmap element are now set by javascript.

[philipp/winterrodeln/mediawiki_extensions/wrmap.git] / wrmap.body.php

diff --git a/wrmap.body.php b/wrmap.body.php
index 8bb75f12b7638b55ef6bad4d0cbd9432a19109cd..e6e6eec658a6362a7e4ab24e0db5965639044db8 100644 (file)
--- a/wrmap.body.php
+++ b/wrmap.body.php
@@ -177,9 +177,7 @@ class WrBaseMap {
 
                // Create <div/> element where the map is placed in
                global $wgExtensionAssetsPath;
 
                // Create <div/> element where the map is placed in
                global $wgExtensionAssetsPath;

-               $width_s = (isset($properties['width'])) ? (string) $properties['width'] . 'px' : '100%';
-               $height_s = (isset($properties['height']) ? (string) $properties['height'] : 450) . 'px';
-               $output = "<div class=\"wrmap\" style=\"width: $width_s; height: $height_s; border-style:none;\" data-img-path=\"$wgExtensionAssetsPath/wrmap/openlayers/img/\">";
+               $output = "<div class=\"wrmap\" style=\"border-style:none;\" data-img-path=\"$wgExtensionAssetsPath/wrmap/openlayers/img/\">";

                $output .= htmlspecialchars($json_string, ENT_NOQUOTES);
                $output .= "</div>\n";
                
                $output .= htmlspecialchars($json_string, ENT_NOQUOTES);
                $output .= "</div>\n";