[MediaWiki-commits] [Gerrit] Killed SMMapper - change (mediawiki...SemanticMaps[master])

Jeroen De Dauw has submitted this change and it was merged.

Change subject: Killed SMMapper
......................................................................

Killed SMMapper

Change-Id: If414948b2e2a7f3af940be10f2d3fde31c5be8ee
---
M includes/queryprinters/SM_MapPrinter.php
D includes/queryprinters/SM_Mapper.php
M includes/queryprinters/SM_QueryPrinters.php
3 files changed, 7 insertions(+), 212 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved

--
To view, visit https://gerrit.wikimedia.org/r/17127
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If414948b2e2a7f3af940be10f2d3fde31c5be8ee
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SemanticMaps
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroendedauw <at> gmail.com>
Gerrit-Reviewer: Jeroen De Dauw <jeroendedauw <at> gmail.com>