jenkins-bot has submitted this change and it was merged.
Change subject: Giving people deserved credits
......................................................................
Giving people deserved credits
Change-Id: Id7e93e804838ce5559f650d003dc22da5858427c
---
M MobileFrontend.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index c6e8eec..1fd1f42 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -22,7 +22,7 @@
$wgExtensionCredits['other'][] = array(
'path' => __FILE__,
'name' => 'MobileFrontend',
- 'author' => array( 'Patrick Reilly', 'Max Semenik', 'Jon Robson',
'Arthur Richards' ),
+ 'author' => array( 'Patrick Reilly', 'Max Semenik', 'Jon Robson',
'Arthur Richards', 'Brion Vibber', 'Juliusz Gonera', 'Ryan Kaldari' ),
'descriptionmsg' => 'mobile-frontend-desc',
'url' => 'https://www.mediawiki.org/wiki/Extension:MobileFrontend',
);
--
To view, visit https://gerrit.wikimedia.org/r/81266
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id7e93e804838ce5559f650d003dc22da5858427c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
