wikimedia/mediawiki-extensions-ImageMap
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ImageMap synced 2024-11-15 18:29:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

(bug 16471) Use random ID to avoid conflicts when cached HTML fragments are used.

Browse source
This commit is contained in:
Tim Starling 2008-12-19 07:03:27 +00:00
parent 2dc8f68cb7
commit 773484526e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ImageMap_body.php
View file

@ -257,7 +257,9 @@ class ImageMap {
if ( $realmap ) {
# Construct the map
$mapName = "ImageMap_" . ++self::$id;
# Add random number to avoid breaking cached HTML fragments that are
# later joined together on the one page (bug 16471)
$mapName = "ImageMap_" . ++self::$id . '_' . mt_rand( 0, 0x7fffffff );
$mapHTML = "<map name=\"$mapName\">\n$mapHTML</map>\n";
# Alter the image tag