John Erling Blad has submitted this change and it was merged. Change subject: Killed class I forgot to remove a few weeks ago ......................................................................
Killed class I forgot to remove a few weeks ago Change-Id: Ie671fe0baaa6127c2070ff0544ff6a433254893f --- M ValueFormatters/ValueFormatters.classes.php D ValueFormatters/includes/SimpleFormatterOptions.php 2 files changed, 0 insertions(+), 76 deletions(-) Approvals: John Erling Blad: Verified; Looks good to me, approved jenkins-bot: Checked -- To view, visit https://gerrit.wikimedia.org/r/45129 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie671fe0baaa6127c2070ff0544ff6a433254893f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/DataValues Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jens Ohlig <[email protected]> Gerrit-Reviewer: John Erling Blad <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
