Addshore has submitted this change and it was merged.
Change subject: Update check in ValueView
......................................................................
Update check in ValueView
Change-Id: I2d8176599c7953b5c446d2a442542ad189b56812
---
M ValueView/ValueView.php
1 file changed, 1 insertion(+), 4 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ValueView/ValueView.php b/ValueView/ValueView.php
index c44fa82..75edcad 100644
--- a/ValueView/ValueView.php
+++ b/ValueView/ValueView.php
@@ -9,14 +9,11 @@
*
* @since 0.1
*
- * @file
- * @ingroup ValueView
- *
* @licence GNU GPL v2+
* @author Daniel Werner < daniel.wer...@wikimedia.de >
*/
-if ( defined( 'ValueView_VERSION' ) ) {
+if ( defined( 'VALUEVIEW_VERSION' ) ) {
// Do not initialize more then once.
return;
}
--
To view, visit https://gerrit.wikimedia.org/r/85658
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2d8176599c7953b5c446d2a442542ad189b56812
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DataValues
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
