jenkins-bot has submitted this change and it was merged.
Change subject: Remove version from extension credits
......................................................................
Remove version from extension credits
We're not updating it, so let's not mislead people that it's not being
worked on:)
Change-Id: I449840c2ecf0e435b0faa8cef875d946b25cf582
---
M MobileFrontend.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Jdlrobson: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index 18db9c4..df85c0b 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -22,7 +22,6 @@
$wgExtensionCredits['other'][] = array(
'path' => __FILE__,
'name' => 'MobileFrontend',
- 'version' => '0.7.0',
'author' => array( 'Patrick Reilly', 'Max Semenik', 'Jon Robson',
'Arthur Richards' ),
'descriptionmsg' => 'mobile-frontend-desc',
'url' => 'https://www.mediawiki.org/wiki/Extension:MobileFrontend',
--
To view, visit https://gerrit.wikimedia.org/r/68112
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I449840c2ecf0e435b0faa8cef875d946b25cf582
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
