From da2838adfc9309ce21c9160ba49ced16d1864d1e Mon Sep 17 00:00:00 2001
From: Thiemo Kreuz <thiemo.kreuz@wikimedia.de>
Date: Wed, 20 May 2020 08:32:04 +0200
Subject: [PATCH] Remove unused $id property

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

Change-Id: Ie57b9da09a840eacac3eff2f7794fa9e352f28da
---
 includes/ImageMap.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/includes/ImageMap.php b/includes/ImageMap.php
index 2d33aa7..acbab74 100644
--- a/includes/ImageMap.php
+++ b/includes/ImageMap.php
@@ -32,7 +32,6 @@ use Title;
 use Xml;
 
 class ImageMap {
-	public static $id = 0;
 
 	const TOP_RIGHT = 0;
 	const BOTTOM_RIGHT = 1;