[MediaWiki-commits] [Gerrit] Initial commit. - change (mediawiki...FormelApplet[master])
Rudolf.grossmann has submitted this change and it was merged. Change subject: Initial commit. .. Initial commit. Based on code published at http://www.mediawiki.org/wiki/Extension:FormelApplet Normalized line endings. Update version number from 1.2d to 1.3a. Added file FormelApplet.i18n.php Change-Id: I4fdef74725259bd4bc28c7487a1eaf2873a32eb6 --- A FormelApplet.i18n.php A FormelApplet.php 2 files changed, 186 insertions(+), 0 deletions(-) Approvals: Rudolf.grossmann: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/18633 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4fdef74725259bd4bc28c7487a1eaf2873a32eb6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/FormelApplet Gerrit-Branch: master Gerrit-Owner: Rudolf.grossmann Gerrit-Reviewer: Rudolf.grossmann ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Initial commit. - change (mediawiki...FormelApplet[master])
Rudolf.grossmann has uploaded a new change for review. Change subject: Initial commit. .. Initial commit. Based on code published at http://www.mediawiki.org/wiki/Extension:FormelApplet Normalized line endings. Update version number from 1.2d to 1.3a. Added file FormelApplet.i18n.php Change-Id: I4fdef74725259bd4bc28c7487a1eaf2873a32eb6 --- A FormelApplet.i18n.php A FormelApplet.php 2 files changed, 186 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/FormelApplet refs/changes/33/18633/1 -- To view, visit https://gerrit.wikimedia.org/r/18633 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I4fdef74725259bd4bc28c7487a1eaf2873a32eb6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/FormelApplet Gerrit-Branch: master Gerrit-Owner: Rudolf.grossmann ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits