From 141b7bf72d4343f3b97771aefb72f2b07f80fa8a Mon Sep 17 00:00:00 2001 From: cytopia Date: Sun, 12 Aug 2018 10:52:13 +0200 Subject: [PATCH] Integrate PHPRedMin into Devilbox intranet --- .devilbox/www/htdocs/credits.php | 5 +++++ .devilbox/www/include/lib/Html.php | 9 +++++++-- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/.devilbox/www/htdocs/credits.php b/.devilbox/www/htdocs/credits.php index bc152b31..0325b2ec 100644 --- a/.devilbox/www/htdocs/credits.php +++ b/.devilbox/www/htdocs/credits.php @@ -87,6 +87,11 @@ GPL 2.0 phpmyadmin/phpmyadmin + + PHPRedMin + BSD 3-Clause License + sasanrose/phpredmin + diff --git a/.devilbox/www/include/lib/Html.php b/.devilbox/www/include/lib/Html.php index 0a5a8661..2a29873b 100644 --- a/.devilbox/www/include/lib/Html.php +++ b/.devilbox/www/include/lib/Html.php @@ -84,14 +84,19 @@ class Html array( 'name' => 'Tools', 'menu' => array( + array( + 'name' => 'Adminer', + 'path' => '/vendor/adminer-4.6.2-en.php', + 'target' => '_blank' + ), array( 'name' => 'phpMyAdmin', 'path' => '__PHPMYADMIN__', 'target' => '_blank' ), array( - 'name' => 'Adminer', - 'path' => '/vendor/adminer-4.6.2-en.php', + 'name' => 'PHPRedMin', + 'path' => '/vendor/phpredmin/public/index.php', 'target' => '_blank' ), array(