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

Remove unused $id property

Browse source 
Unused since Ia906b46 (March 2019, not linked to a Phabricator
ticket).

Change-Id: Ie57b9da09a840eacac3eff2f7794fa9e352f28da
This commit is contained in:
Thiemo Kreuz 2020-05-20 08:32:04 +02:00
parent 74bcec0dd7
commit da2838adfc
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/ImageMap.php
View file

@ -32,7 +32,6 @@ use Title;
use Xml; use Xml;
class ImageMap { class ImageMap {
public static $id = 0;
const TOP_RIGHT = 0; const TOP_RIGHT = 0;
const BOTTOM_RIGHT = 1; const BOTTOM_RIGHT = 1;