diff options
| -rw-r--r-- | Plugins.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 → 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');
|