Jeroen De Dauw has submitted this change and it was merged.
Change subject: Remove obsolete check
......................................................................
Remove obsolete check
Change-Id: I61e7fbe18fc01b3eb30bc08bb901ed228e868770
---
M ParamProcessor.php
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
Jeroen De Dauw: Verified; Looks good to me, approved
diff --git a/ParamProcessor.php b/ParamProcessor.php
index 7f55df7..a985c55 100644
--- a/ParamProcessor.php
+++ b/ParamProcessor.php
@@ -33,10 +33,6 @@
die( '<b>Error:</b> This version of Validator requires MediaWiki 1.16
or above.' );
}
-if ( defined( 'Validator_VERSION' ) ) {
- throw new Exception( 'Tried to include Validator a second time. Please
make sure you are including it before any extensions that make use of it.' );
-}
-
// Include the DataValues extension if that hasn't been done yet, since it's
required for Validator to work.
if ( !defined( 'DataValues_VERSION' ) ) {
@include_once( __DIR__ . '/../DataValues/DataValues.php' );
--
To view, visit https://gerrit.wikimedia.org/r/67619
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I61e7fbe18fc01b3eb30bc08bb901ed228e868770
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Validator
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
