jenkins-bot has submitted this change and it was merged.
Change subject: Remove dead code
......................................................................
Remove dead code
Change-Id: If8e91a7cae2575c0b5401ac9a50e4dd1b8c05429
---
D repo/includes/ExceptionWithCode.php
1 file changed, 0 insertions(+), 40 deletions(-)
Approvals:
Aude: Looks good to me, approved
jenkins-bot: Verified
diff --git a/repo/includes/ExceptionWithCode.php
b/repo/includes/ExceptionWithCode.php
deleted file mode 100644
index c6d4f5b..0000000
--- a/repo/includes/ExceptionWithCode.php
+++ /dev/null
@@ -1,40 +0,0 @@
-<?php
-
-namespace Wikibase;
-
-/**
- * Exception with a string error code.
- *
- * @since 0.4
- *
- * @licence GNU GPL v2+
- * @author Jeroen De Dauw < jeroended...@gmail.com >
- */
-class ExceptionWithCode extends \Exception {
-
- /**
- * @var string
- */
- private $stringCode;
-
- /**
- * @since 0.4
- *
- * @param string $message
- * @param string $code
- */
- public function __construct( $message, $code ) {
- parent::__construct( $message );
- $this->stringCode = $code;
- }
-
- /**
- * @since 0.4
- *
- * @return string
- */
- public function getErrorCode() {
- return $this->stringCode;
- }
-
-}
--
To view, visit https://gerrit.wikimedia.org/r/238722
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If8e91a7cae2575c0b5401ac9a50e4dd1b8c05429
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
