jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/387753 )

Change subject: Revert "README: Fix Doxygen markup"
......................................................................


Revert "README: Fix Doxygen markup"

Previous rendering didn't result in unparsed backticks showing up,
and did use preformatted rendering.

Looks like either version causes the headings to be parsed, which
seems like a bug and is contrary to how Doxygen's own manual
explains the rendering behaviour.

This reverts commit ec3bea795756b3f7784b601a170b2f6992f450e7.

Bug: T104669
Change-Id: I62045ad670e730ec66b149b7d2ea4f5b56b58d8e
---
M README.md
1 file changed, 30 insertions(+), 30 deletions(-)

Approvals:
  Krinkle: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/README.md b/README.md
index 8439be9..2f7711b 100644
--- a/README.md
+++ b/README.md
@@ -79,39 +79,39 @@
 ----------
 
 Release process:
-```bash
-    $ cd path/to/oojs-ui/
-    $ git remote update
-    $ git checkout -B release -t origin/master
+<pre lang="bash">
+$ cd path/to/oojs-ui/
+$ git remote update
+$ git checkout -B release -t origin/master
 
-    # Ensure tests pass
-    $ npm install && composer update && npm test && composer test
+# Ensure tests pass
+$ npm install && composer update && npm test && composer test
 
-    # Avoid using "npm version patch" because that creates
-    # both a commit and a tag, and we shouldn't tag until after
-    # the commit is merged.
+# Avoid using "npm version patch" because that creates
+# both a commit and a tag, and we shouldn't tag until after
+# the commit is merged.
 
-    # Update release notes
-    # Copy the resulting list into a new section at the top of History.md and 
edit
-    # into five sub-sections, in order:
-    # * Breaking changes
-    # * Deprecations
-    # * Features
-    # * Styles
-    # * Code
-    $ git log --format='* %s (%aN)' --no-merges --reverse v$(node -e 
'console.log(require("./package.json").version);')...HEAD | grep -v 
"Localisation updates from" | sort
-    $ edit History.md
+# Update release notes
+# Copy the resulting list into a new section at the top of History.md and edit
+# into five sub-sections, in order:
+# * Breaking changes
+# * Deprecations
+# * Features
+# * Styles
+# * Code
+$ git log --format='* %s (%aN)' --no-merges --reverse v$(node -e 
'console.log(require("./package.json").version);')...HEAD | grep -v 
"Localisation updates from" | sort
+$ edit History.md
 
-    # Update the version number
-    $ edit package.json
+# Update the version number
+$ edit package.json
 
-    $ git add -p
-    $ git commit -m "Tag vX.X.X"
-    $ git review
+$ git add -p
+$ git commit -m "Tag vX.X.X"
+$ git review
 
-    # After merging:
-    $ git remote update
-    $ git checkout origin/master
-    $ git tag "vX.X.X"
-    $ npm run publish-build && git push --tags && npm publish
-```
+# After merging:
+$ git remote update
+$ git checkout origin/master
+$ git tag "vX.X.X"
+$ npm run publish-build && git push --tags && npm publish
+</pre>

-- 
To view, visit https://gerrit.wikimedia.org/r/387753
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I62045ad670e730ec66b149b7d2ea4f5b56b58d8e
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to