Miguel2706 has submitted this change and it was merged. Change subject: Bug fix ......................................................................
Bug fix Change-Id: I1ae283c1625e6a83a4baebec5371443790251525 --- M updateMediaWiki.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Miguel2706: Verified; Looks good to me, approved diff --git a/updateMediaWiki.php b/updateMediaWiki.php index 8b1eb50..11ace9f 100644 --- a/updateMediaWiki.php +++ b/updateMediaWiki.php @@ -1,4 +1,4 @@ -<? +<? /********************************************************************* ** -- To view, visit https://gerrit.wikimedia.org/r/78540 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1ae283c1625e6a83a4baebec5371443790251525 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/UpdateMediaWiki Gerrit-Branch: master Gerrit-Owner: Miguel2706 <[email protected]> Gerrit-Reviewer: Miguel2706 <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
