jenkins-bot has submitted this change and it was merged.
Change subject: Identifying which extension is complaining about dependency
......................................................................
Identifying which extension is complaining about dependency
Change-Id: Ib5f300c926dfe65ce9ccb6b13d50f4f8dd43ec30
---
M WikiGrok.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Kaldari: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikiGrok.php b/WikiGrok.php
index bd1917a..bcea139 100644
--- a/WikiGrok.php
+++ b/WikiGrok.php
@@ -27,7 +27,7 @@
}
if ( !defined( 'MOBILEFRONTEND' ) ) {
- echo "This MediaWiki extension depends on the MobileFrontend extension.
Please install it.\n";
+ echo "This MediaWiki extension, WikiGrok, depends on the MobileFrontend
extension. Please install it.\n";
die( -1 );
}
--
To view, visit https://gerrit.wikimedia.org/r/193028
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib5f300c926dfe65ce9ccb6b13d50f4f8dd43ec30
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiGrok
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
