Update page 'Plugins'

1 files changed, 1 insertions, 1 deletions

diff --git a/Plugins.md b/Plugins.md
index c6eb3b5..ce48fa0 100644
--- a/Plugins.md
+++ b/Plugins.md
@@ -2,7 +2,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 &rarr; Plugins``. System plugins require adding them to a <code>config.php</code> 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 -> Plugins``. System plugins require adding them to a <code>config.php</code> directive <code>PLUGINS</code> which is a comma-separated list of enabled system plugins, i.e.

 

 ```php

 define('PLUGINS', 'updater, digest, auth_remote, auth_internal');