jenkins-bot has submitted this change and it was merged.
Change subject: Adding Florian to the MobileFrontend author list
......................................................................
Adding Florian to the MobileFrontend author list
Now that Florian has passed 100 merged commits to MobeilFrontend,
it's probably about time to add him as an official author of the
extension.
Thanks for your all your tireless volunteer work on mobile, Florian!
It is greatly appreciated! Hope we get to meet in person one of these
days.
Change-Id: I6285bd9a661de1d4080b265b63df4fe1a1b05da3
---
M MobileFrontend.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Jhernandez: Looks good to me, approved
Jdlrobson: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/MobileFrontend.php b/MobileFrontend.php
index a4791b4..a8f2973 100644
--- a/MobileFrontend.php
+++ b/MobileFrontend.php
@@ -10,6 +10,7 @@
* @author Max Semenik
* @author Patrick Reilly
* @author Ryan Kaldari
+ * @author Florian Schmidt
* @licence GNU General Public Licence 2.0 or later
*/
@@ -35,7 +36,7 @@
'path' => __FILE__,
'name' => 'MobileFrontend',
'author' => array( 'Patrick Reilly', 'Max Semenik', 'Jon Robson',
'Arthur Richards',
- 'Brion Vibber', 'Juliusz Gonera', 'Ryan Kaldari' ),
+ 'Brion Vibber', 'Juliusz Gonera', 'Ryan Kaldari', 'Florian
Schmidt' ),
'descriptionmsg' => 'mobile-frontend-desc',
'url' => 'https://www.mediawiki.org/wiki/Extension:MobileFrontend',
);
--
To view, visit https://gerrit.wikimedia.org/r/169241
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6285bd9a661de1d4080b265b63df4fe1a1b05da3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jhernandez <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
