[MediaWiki-commits] [Gerrit] mediawiki...timeline[master]: De-capitalise timeline in wfLoadExtension call
Reedy has submitted this change and it was merged. Change subject: De-capitalise timeline in wfLoadExtension call .. De-capitalise timeline in wfLoadExtension call Change-Id: I2c1501e8bec4d5dc04a0a125603d867a6438176e --- M Timeline.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Reedy: Looks good to me, approved Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/Timeline.php b/Timeline.php index bc0e649..2226c97 100644 --- a/Timeline.php +++ b/Timeline.php @@ -1,7 +1,7 @@ https://gerrit.wikimedia.org/r/303304 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2c1501e8bec4d5dc04a0a125603d867a6438176e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/timeline Gerrit-Branch: master Gerrit-Owner: ReedyGerrit-Reviewer: Jforrester Gerrit-Reviewer: Reedy Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...timeline[master]: De-capitalise timeline in wfLoadExtension call
Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/303304 Change subject: De-capitalise timeline in wfLoadExtension call .. De-capitalise timeline in wfLoadExtension call Change-Id: I2c1501e8bec4d5dc04a0a125603d867a6438176e --- M Timeline.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/timeline refs/changes/04/303304/1 diff --git a/Timeline.php b/Timeline.php index bc0e649..2226c97 100644 --- a/Timeline.php +++ b/Timeline.php @@ -1,7 +1,7 @@ https://gerrit.wikimedia.org/r/303304 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I2c1501e8bec4d5dc04a0a125603d867a6438176e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/timeline Gerrit-Branch: master Gerrit-Owner: Reedy___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits