jenkins-bot has submitted this change and it was merged.
Change subject: Fix release notes formatting
......................................................................
Fix release notes formatting
* Missing full stop
* Wrapping to 80 characters
Change-Id: I679f72780815c9fd8f03b8939ed25999b8051637
---
M RELEASE-NOTES-1.23
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23
index 64c55f5..ea0d22c 100644
--- a/RELEASE-NOTES-1.23
+++ b/RELEASE-NOTES-1.23
@@ -66,9 +66,9 @@
review the sql and comments in maintenance/archives/patch-rc_source.sql.
** The rc_type field of recentchanges will be deprecated in a future point
release.
-* The global variable $wgArticle has been removed after a lengthy deprecation
-* mediawiki.util: mw.util.wikiGetlink has been renamed to getUrl. (The old
name still
- works, but is deprecated.)
+* The global variable $wgArticle has been removed after a lengthy deprecation.
+* mediawiki.util: mw.util.wikiGetlink has been renamed to getUrl. (The old name
+ still works, but is deprecated.)
== Compatibility ==
--
To view, visit https://gerrit.wikimedia.org/r/94681
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I679f72780815c9fd8f03b8939ed25999b8051637
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
