From d0064394ad66e3c0c363f79ac5eeaffa64df50af Mon Sep 17 00:00:00 2001
From: Constantin Romankiewicz <harmageddon95@web.de>
Date: Sat, 8 Sep 2018 20:17:44 +0200
Subject: [PATCH] Switched phpMyAdmin and phpRedMin
The two labels got confused.
---
docs/_includes/links/tools.rst | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/docs/_includes/links/tools.rst b/docs/_includes/links/tools.rst
index 48dd80b1..32ce5d20 100644
--- a/docs/_includes/links/tools.rst
+++ b/docs/_includes/links/tools.rst
@@ -258,13 +258,13 @@
.. |ext_lnk_tool_phpmyadmin| raw:: html
<a target="_blank" href="https://www.phpmyadmin.net">
- phpRedMin <img src="https://raw.githubusercontent.com/cytopia/icons/master/11x11/ext-link.png" />
+ phpMyAdmin <img src="https://raw.githubusercontent.com/cytopia/icons/master/11x11/ext-link.png" />
</a>
.. |ext_lnk_tool_phpredmin| raw:: html
<a target="_blank" href="https://github.com/sasanrose/phpredmin">
- phpMyAdmin <img src="https://raw.githubusercontent.com/cytopia/icons/master/11x11/ext-link.png" />
+ phpRedMin <img src="https://raw.githubusercontent.com/cytopia/icons/master/11x11/ext-link.png" />
</a>
.. |ext_lnk_tool_opcachegui| raw:: html