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.* """