jenkins-bot has submitted this change and it was merged. Change subject: Add Moritz Schubotz and Derk-Jan Hartman as authors ......................................................................
Add Moritz Schubotz and Derk-Jan Hartman as authors Change-Id: Ia091b88098777a953a9fa285d93641762d007379 --- M Math.php 1 file changed, 7 insertions(+), 1 deletion(-) Approvals: Helder.wiki: Looks good to me, but someone else must approve Frédéric Wang: Looks good to me, but someone else must approve Jforrester: Looks good to me, approved TheDJ: Looks good to me, approved jenkins-bot: Verified diff --git a/Math.php b/Math.php index c3d244b..d4b2f61 100644 --- a/Math.php +++ b/Math.php @@ -8,6 +8,7 @@ * @author Tomasz Wegrzanowski * @author Brion Vibber * @author Moritz Schubotz + * @author Derk-Jan Hartman * @copyright © 2002-2012 various MediaWiki contributors * @license GPLv2 license; info in main package. * @link http://www.mediawiki.org/wiki/Extension:Math Documentation @@ -23,7 +24,12 @@ 'path' => __FILE__, 'name' => 'Math', 'version' => '1.2.0', - 'author' => array( 'Tomasz Wegrzanowski', 'Brion Vibber', '...' ), + 'author' => array( + 'Tomasz Wegrzanowski', + 'Brion Vibber', + 'Moritz Schubotz', + 'Derk-Jan Hartman', + ), 'descriptionmsg' => 'math-desc', 'url' => 'https://www.mediawiki.org/wiki/Extension:Math', ); -- To view, visit https://gerrit.wikimedia.org/r/146094 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia091b88098777a953a9fa285d93641762d007379 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/Math Gerrit-Branch: master Gerrit-Owner: Amire80 <[email protected]> Gerrit-Reviewer: Frédéric Wang <[email protected]> Gerrit-Reviewer: Helder.wiki <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: Physikerwelt <[email protected]> Gerrit-Reviewer: TheDJ <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
