Deploying to master from @ Sheldan/abstracto@9c02be7299 🚀

This commit is contained in:
Sheldan
2022-07-23 08:51:53 +00:00
parent 7f287e4a03
commit 18a42c22a4
2 changed files with 7459 additions and 7845 deletions

File diff suppressed because it is too large Load Diff

View File

@@ -442,8 +442,8 @@ body.book #toc,body.book #preamble,body.book h1.sect0,body.book .sect1>h2{page-b
<h1>Abstracto Discord Bot Documentation</h1>
<div class="details">
<span id="author" class="author">Sheldan https://github.com/Sheldan/abstracto</span><br>
<span id="revnumber">version 1.4.0.RC2,</span>
<span id="revdate">2022/06/19 22:21</span>
<span id="revnumber">version 1.4.0,</span>
<span id="revdate">2022/07/23 08:36</span>
</div>
<div id="toc" class="toc">
<div id="toctitle">Table of Contents</div>
@@ -1865,10 +1865,6 @@ If the user leaves the guild and rejoins, the mute will be re-applied.</p>
<dd>
<p>if enabled, each un mute which happens 'naturally' (after the defined time period is over) will be logged to the <code>muteLog</code> post target. Enabled by default.</p>
</dd>
<dt class="hdlist1"><code>manualUnMuteLogging</code></dt>
<dd>
<p>if enabled, each un mute which happens via the command <code>unmute</code> will be logged to the <code>muteLog</code> post target. Enabled by default.</p>
</dd>
</dl>
</div>
</div>
@@ -1906,20 +1902,6 @@ This command sends a notification to the user about the mute and kicks the user
</ul>
</div>
</dd>
<dt class="hdlist1">Configuring which role to use for muting</dt>
<dd>
<div class="ulist">
<ul>
<li>
<p>Usage: <code>setMuteRole &lt;role&gt;</code></p>
</li>
<li>
<p>Description: Sets the <code>role</code> to be used as the role when applying a mute. This role needs to be muting, which means, if you want it to be effective, this role needs to deny <code>MESSAGE_WRITE</code>. The bot does not validate nor require the role to actually mute.
Only <strong>one</strong> role can be used as a mute role.</p>
</li>
</ul>
</div>
</dd>
<dt class="hdlist1">Showing all mutes</dt>
<dd>
<div class="ulist">
@@ -3940,8 +3922,8 @@ The voice channel can be provided as a parameter via a mention (type '#!' + voic
</div>
<div id="footer">
<div id="footer-text">
Version 1.4.0.RC2<br>
Last updated 2022-06-19 22:20:59 UTC
Version 1.4.0<br>
Last updated 2022-07-23 08:36:25 UTC
</div>
</div>
</body>