Add lines accidently removed with r44912 :/

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 92eabc4..da61207 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -437,6 +437,12 @@ The following extensions are migrated into MediaWiki 1.14:
 * (bug 16712) Special:NewFiles updated to use "newer"/"older" paging messages
   for clarity over "previous/next"
 * (bug 16612) Fixed "noprint" class for Modern skin print style
+* Section anchors now have an "id" attribute as well as a "name" attribute,
+  even when Tidy is not used
+* (bug 16026) revision-info, revision-info-current, cannotdelete,
+  redirectedfrom and historywarning messages now use Wiki text rather than raw
+  HTML markup
+
 
 === API changes in 1.14 ===