jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/697077 )
Change subject: [doc] Update sphinx documentation
......................................................................
[doc] Update sphinx documentation
Change-Id: I435205aa786254ea16496f0ea314015d10268953
---
M pywikibot/bot.py
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Xqt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/pywikibot/bot.py b/pywikibot/bot.py
index 3112344..18b6ad4 100644
--- a/pywikibot/bot.py
+++ b/pywikibot/bot.py
@@ -1699,11 +1699,11 @@
[shell] ; Shell options
always: true
- The option values are interpreted in this order::
+ The option values are interpreted in this order:
- - `available_options` default setting
- - `script.ini options` settings
- - command line arguments
+ 1. `available_options` default setting
+ 2. `script.ini options` settings
+ 3. command line arguments
*New in version 3.0.*
"""
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/697077
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I435205aa786254ea16496f0ea314015d10268953
Gerrit-Change-Number: 697077
Gerrit-PatchSet: 1
Gerrit-Owner: Xqt <info(a)gno.de>
Gerrit-Reviewer: Xqt <info(a)gno.de>
Gerrit-Reviewer: jenkins-bot
Gerrit-MessageType: merged