Update 'Plugins'

1 files changed, 1 insertions, 1 deletions

diff --git a/Plugins.md b/Plugins.md
index dea7559..8b5181e 100644
--- a/Plugins.md
+++ b/Plugins.md
@@ -4,7 +4,7 @@ Tiny Tiny RSS supports many kinds of plugins: social plugins which share article
 article filter plugins which mangle feed-provided data on import (for example, inlining images or extracting

 full article text using Readability), hotkey plugins which alter the way keyboard shortcuts work, etc.

 

-There are two kinds of plugins: user and system. User plugins are enabled in ``Preferences -> Plugins``. System plugins require adding them to a [global configuration](GlobalConfig) directive <code>PLUGINS</code> which is a comma-separated list of enabled system plugins, i.e.

+There are two kinds of plugins: user and system. User plugins are enabled in `Preferences` &rarr; `Plugins`. System plugins require adding them to a [global configuration](GlobalConfig) directive <code>PLUGINS</code> which is a comma-separated list of enabled system plugins, i.e.

 

 ```php

 putenv('TTRSS_PLUGINS=auth_internal, other_plugin');