jenkins-bot has submitted this change and it was merged. Change subject: Minor formatting fix for a comment ......................................................................
Minor formatting fix for a comment Since the comment describes already commented out code, I think having double // makes sense. Add it to the comment for 'lat' too Change-Id: I155ecaa4593f2fe5c89032b38aa86e3e8ae01c34 GitHub: https://github.com/wikimedia/mediawiki-extensions-UploadWizard/pull/9 --- M UploadWizard.config.php 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/UploadWizard.config.php b/UploadWizard.config.php index 4280419..4600a63 100644 --- a/UploadWizard.config.php +++ b/UploadWizard.config.php @@ -148,7 +148,8 @@ // This is required, because the JsonSchema for these defines them to be type number // But we can't have them to be NULL, because that's not a number. // This is a technical limitation of JsonSchema, I think. - // Initial value for the latitude field. + + //// Initial value for the latitude field. //'lat' => 0, //// Initial value for the longitude field. -- To view, visit https://gerrit.wikimedia.org/r/75833 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I155ecaa4593f2fe5c89032b38aa86e3e8ae01c34 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/UploadWizard Gerrit-Branch: master Gerrit-Owner: SuchABot <yuvipanda+sucha...@gmail.com> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits