[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5a1851: Remove outdated docs link

Branch: refs/heads/QA_4_7 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 5a1851488af72103fdfcc2bca36fa34112de4836 https://github.com/phpmyadmin/phpmyadmin/commit/5a1851488af72103fdfcc2bca36… Author: Michal Čihař <michal(a)cihar.com> Date: 2017-08-23 (Wed, 23 Aug 2017) Changed paths: M doc/other.rst Log Message: ----------- Remove outdated docs link It probably no longer applies and the server is not working for most of the time. Signed-off-by: Michal Čihař <michal(a)cihar.com>