ExternalVendorCode/devilbox
1
0
Fork 0
mirror of https://github.com/cytopia/devilbox.git synced 2024-12-29 17:18:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #55 from cytopia/DVL-014

Browse Source 
DVL-014 Fix #54 - CP "Tools - Adminer" not working
This commit is contained in:
cytopia 2017-04-28 12:24:02 +02:00 committed by GitHub
commit 3d7f3f2c90
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.devilbox/www/config.php
View File

@ -47,11 +47,11 @@ $POSTGRES_HOST_ADDR = gethostbyname($POSTGRES_HOST_NAME);
// //
function loadClass($class) { function loadClass($class) {
global $LIB_DIR;
global $MYSQL_HOST_ADDR; global $MYSQL_HOST_ADDR;
global $POSTGRES_HOST_ADDR; global $POSTGRES_HOST_ADDR;
static $_LOADED_LIBS; static $_LOADED_LIBS;
$LIB_DIR = dirname(__FILE__) . DIRECTORY_SEPARATOR . 'include' . DIRECTORY_SEPARATOR . 'lib';
if (isset($_LOADED_LIBS[$class])) { if (isset($_LOADED_LIBS[$class])) {

3
.devilbox/www/htdocs/vendor/adminer/adminer/include/design.inc.php vendored
View File

@ -40,7 +40,10 @@ function page_header($title, $error = "", $breadcrumb = array(), $title2 = "") {
document.body.className = document.body.className.replace(/ nojs/, ' js'); document.body.className = document.body.className.replace(/ nojs/, ' js');
var offlineMessage = '<?php echo js_escape(lang('You are offline.')); ?>'; var offlineMessage = '<?php echo js_escape(lang('You are offline.')); ?>';
</script> </script>
<?php require '../../../../config.php'; ?>
<?php error_reporting(6135); ?>
<?php require '../../../../include/navbar.php'; ?> <?php require '../../../../include/navbar.php'; ?>
<?php error_reporting(6135); ?>
<div id="help" class="jush-<?php echo $jush; ?> jsonly hidden" onmouseover="helpOpen = 1;" onmouseout="helpMouseout(this, event);"></div> <div id="help" class="jush-<?php echo $jush; ?> jsonly hidden" onmouseover="helpOpen = 1;" onmouseout="helpMouseout(this, event);"></div>
<div id="content"> <div id="content">