Gecko [ www.utparral.edu.mx ]

Name	Size	Permission
certs	[ DIR ]	drwxrwxr-x
config	[ DIR ]	drwxrwxr-x
controllers	[ DIR ]	drwxrwxr-x
dbi	[ DIR ]	drwxrwxr-x
di	[ DIR ]	drwxrwxr-x
engines	[ DIR ]	drwxrwxr-x
gis	[ DIR ]	drwxrwxr-x
navigation	[ DIR ]	drwxrwxr-x
plugins	[ DIR ]	drwxrwxr-x
properties	[ DIR ]	drwxrwxr-x
rte	[ DIR ]	drwxrwxr-x
.1724597954	0 B	-rwxrwxr-x
.1724621370	0 B	-rwxrwxr-x
.1724621595	0 B	-rwxrwxr-x
.1724693108	0 B	-rwxrwxr-x
.1724693161	0 B	-rwxrwxr-x
.1724693163	0 B	-rwxrwxr-x
.1724716554	0 B	-rwxrwxr-x
.1724716619	0 B	-rwxrwxr-x
.1724995546	0 B	-rwxrwxr-x
.1725018452	0 B	-rwxrwxr-x
.1725018571	0 B	-rwxrwxr-x
.1725018746	0 B	-rwxrwxr-x
.1725030833	0 B	-rwxrwxr-x
.1725030838	0 B	-rwxrwxr-x
.1725030897	0 B	-rwxrwxr-x
.1725030901	0 B	-rwxrwxr-x
advisor.lib.php	1.58 KB	-rwxrwxr-x
Advisor.php	16.32 KB	-rwxrwxr-x
advisory_rules.txt	25.94 KB	-rwxrwxr-x
Bookmark.php	9.76 KB	-rwxrwxr-x
browse_foreigners.lib.php	9.63 KB	-rwxrwxr-x
central_columns.lib.php	49.24 KB	-rwxrwxr-x
Charsets.php	22.67 KB	-rwxrwxr-x
check_user_privileges.lib.php	11 KB	-rwxrwxr-x
common.inc.php	29.21 KB	-rwxrwxr-x
config.default.php	65.5 KB	-rwxrwxr-x
Config.php	55.12 KB	-rwxrwxr-x
config.values.php	10.24 KB	-rwxrwxr-x
Console.php	3.38 KB	-rwxrwxr-x
core.lib.php	29.45 KB	-rwxrwxr-x
create_addfield.lib.php	15.7 KB	-rwxrwxr-x
database_interface.inc.php	2.63 KB	-rwxrwxr-x
DatabaseInterface.php	95.6 KB	-rwxrwxr-x
db_common.inc.php	3.04 KB	-rwxrwxr-x
db_designer.lib.php	10.77 KB	-rwxrwxr-x
DbList.php	1.91 KB	-rwxrwxr-x
DbQbe.php	68.78 KB	-rwxrwxr-x
DbSearch.php	17.06 KB	-rwxrwxr-x
display_change_password.lib.php	6.15 KB	-rwxrwxr-x
display_create_table.lib.php	1.53 KB	-rwxrwxr-x
display_export.lib.php	35.53 KB	-rwxrwxr-x
display_git_revision.lib.php	2.88 KB	-rwxrwxr-x
display_import_ajax.lib.php	3.13 KB	-rwxrwxr-x
display_import.lib.php	24.38 KB	-rwxrwxr-x
DisplayResults.php	206.87 KB	-rwxrwxr-x
Encoding.php	8.93 KB	-rwxrwxr-x
ErrorHandler.php	16.41 KB	-rwxrwxr-x
error.inc.php	1.27 KB	-rwxrwxr-x
Error.php	12.87 KB	-rwxrwxr-x
error_report.lib.php	9.25 KB	-rwxrwxr-x
file_listing.lib.php	2.37 KB	-rwxrwxr-x
File.php	20.62 KB	-rwxrwxr-x
Font.php	4.24 KB	-rwxrwxr-x
Footer.php	10.29 KB	-rwxrwxr-x
Header.php	25.21 KB	-rwxrwxr-x
import.lib.php	49.9 KB	-rwxrwxr-x
inc.php	30.99 KB	-rwxrwxr-x
IndexColumn.php	4.46 KB	-rwxrwxr-x
index.lib.php	1.13 KB	-rwxrwxr-x
Index.php	23.38 KB	-rwxrwxr-x
information_schema_relations.lib.php	10.95 KB	-rwxrwxr-x
insert_edit.lib.php	112.42 KB	-rwxrwxr-x
ip_allow_deny.lib.php	8.09 KB	-rwxrwxr-x
LanguageManager.php	22.63 KB	-rwxrwxr-x
Language.php	4.21 KB	-rwxrwxr-x
language_stats.inc.php	1.5 KB	-rwxrwxr-x
Linter.php	5.09 KB	-rwxrwxr-x
ListAbstract.php	3.15 KB	-rwxrwxr-x
ListDatabase.php	4.63 KB	-rwxrwxr-x
Logging.php	1023 B	-rwxrwxr-x
Menu.php	21.36 KB	-rwxrwxr-x
Message.php	19.14 KB	-rwxrwxr-x
mime.lib.php	704 B	-rwxrwxr-x
mult_submits.inc.php	10.46 KB	-rwxrwxr-x
mult_submits.lib.php	20.45 KB	-rwxrwxr-x
normalization.lib.php	33.97 KB	-rwxrwxr-x
OpenDocument.php	8.52 KB	-rwxrwxr-x
operations.lib.php	71.3 KB	-rwxrwxr-x
OutputBuffering.php	3.59 KB	-rwxrwxr-x
parse_analyze.lib.php	2.18 KB	-rwxrwxr-x
Partition.php	9 KB	-rwxrwxr-x
PDF.php	3.92 KB	-rwxrwxr-x
plugin_interface.lib.php	19.69 KB	-rwxrwxr-x
pmd_common.php	24.1 KB	-rwxrwxr-x
RecentFavoriteTable.php	11.79 KB	-rwxrwxr-x
relation_cleanup.lib.php	13.84 KB	-rwxrwxr-x
relation.lib.php	68.74 KB	-rwxrwxr-x
replication_gui.lib.php	37.24 KB	-rwxrwxr-x
replication.inc.php	9.33 KB	-rwxrwxr-x
Response.php	12.05 KB	-rwxrwxr-x
Sanitize.php	14.1 KB	-rwxrwxr-x
SavedSearches.php	11.67 KB	-rwxrwxr-x
Scripts.php	6.59 KB	-rwxrwxr-x
select_server.lib.php	3.52 KB	-rwxrwxr-x
server_common.inc.php	1.24 KB	-rwxrwxr-x
server_common.lib.php	1.92 KB	-rwxrwxr-x
server_privileges.lib.php	171.6 KB	-rwxrwxr-x
server_status_advisor.lib.php	1.89 KB	-rwxrwxr-x
ServerStatusData.php	15.7 KB	-rwxrwxr-x
server_status.lib.php	9.84 KB	-rwxrwxr-x
server_status_monitor.lib.php	26.31 KB	-rwxrwxr-x
server_status_processes.lib.php	9.4 KB	-rwxrwxr-x
server_status_queries.lib.php	4.9 KB	-rwxrwxr-x
server_status_variables.lib.php	28.85 KB	-rwxrwxr-x
server_user_groups.lib.php	12.71 KB	-rwxrwxr-x
server_users.lib.php	1.32 KB	-rwxrwxr-x
session.lib.php	1.11 KB	-rwxrwxr-x
special_schema_links.lib.php	17.51 KB	-rwxrwxr-x
sql.lib.php	77.55 KB	-rwxrwxr-x
sql_query_form.lib.php	15.78 KB	-rwxrwxr-x
StorageEngine.php	13.51 KB	-rwxrwxr-x
string.lib.php	800 B	-rwxrwxr-x
stringMb.lib.php	1.85 KB	-rwxrwxr-x
stringNative.lib.php	6.82 KB	-rwxrwxr-x
SubPartition.php	3.52 KB	-rwxrwxr-x
sysinfo.lib.php	1.35 KB	-rwxrwxr-x
SysInfoLinux.php	1.92 KB	-rwxrwxr-x
SysInfo.php	800 B	-rwxrwxr-x
SysInfoSunOS.php	1.86 KB	-rwxrwxr-x
SysInfoWINNT.php	3.08 KB	-rwxrwxr-x
SystemDatabase.php	3.66 KB	-rwxrwxr-x
Table.php	86.78 KB	-rwxrwxr-x
tbl_columns_definition_form.inc.php	13.84 KB	-rwxrwxr-x
tbl_common.inc.php	1.71 KB	-rwxrwxr-x
tbl_info.inc.php	3.54 KB	-rwxrwxr-x
Template.php	4.42 KB	-rwxrwxr-x
ThemeManager.php	12.25 KB	-rwxrwxr-x
Theme.php	12.68 KB	-rwxrwxr-x
Tracker.php	28.76 KB	-rwxrwxr-x
tracking.lib.php	54.52 KB	-rwxrwxr-x
tracking.php	393 B	-rwxrwxr-x
transformations.lib.php	14.62 KB	-rwxrwxr-x
TypesMySQL.php	17.26 KB	-rwxrwxr-x
Types.php	6.08 KB	-rwxrwxr-x
URL.php	8.42 KB	-rwxrwxr-x
user_preferences.inc.php	2.41 KB	-rwxrwxr-x
user_preferences.lib.php	8.28 KB	-rwxrwxr-x
util.lib.php	749 B	-rwxrwxr-x
Util.php	169.69 KB	-rwxrwxr-x
vendor_config.php	2.07 KB	-rwxrwxr-x
VersionInformation.php	6.34 KB	-rwxrwxr-x
zip_extension.lib.php	5.81 KB	-rwxrwxr-x
ZipFile.php	6.63 KB	-rwxrwxr-x

Code Editor : Theme.php

<?php
/* vim: set expandtab sw=4 ts=4 sts=4: */
/**
 * hold Theme class
 *
 * @package PhpMyAdmin
 */
namespace PMA\libraries;

use PMA\libraries\URL;

/**
 * handles theme
 *
 * @todo add the possibility to make a theme depend on another theme
 * and by default on original
 * @todo make all components optional - get missing components from 'parent' theme
 *
 * @package PhpMyAdmin
 */
class Theme
{
    /**
     * @var string theme version
     * @access  protected
     */
    var $version = '0.0.0.0';

/**
     * @var string theme name
     * @access  protected
     */
    var $name = '';

/**
     * @var string theme id
     * @access  protected
     */
    var $id = '';

/**
     * @var string theme path
     * @access  protected
     */
    var $path = '';

/**
     * @var string image path
     * @access  protected
     */
    var $img_path = '';

/**
     * @var integer last modification time for info file
     * @access  protected
     */
    var $mtime_info = 0;

/**
     * needed because sometimes, the mtime for different themes
     * is identical
     * @var integer filesize for info file
     * @access  protected
     */
    var $filesize_info = 0;

/**
     * @var array List of css files to load
     * @access private
     */
    private $_cssFiles = array(
        'common',
        'enum_editor',
        'gis',
        'navigation',
        'pmd',
        'rte',
        'codemirror',
        'jqplot',
        'resizable-menu'
    );

/**
     * Loads theme information
     *
     * @return boolean whether loading them info was successful or not
     * @access  public
     */
    function loadInfo()
    {
        if (! @file_exists($this->getPath() . '/info.inc.php')) {
            return false;
        }

if ($this->mtime_info === filemtime($this->getPath() . '/info.inc.php')) {
            return true;
        }

@include $this->getPath() . '/info.inc.php';

// was it set correctly?
        if (! isset($theme_name)) {
            return false;
        }

$this->mtime_info = filemtime($this->getPath() . '/info.inc.php');
        $this->filesize_info = filesize($this->getPath() . '/info.inc.php');

if (isset($theme_full_version)) {
            $this->setVersion($theme_full_version);
        } elseif (isset($theme_generation, $theme_version)) {
            $this->setVersion($theme_generation . '.' . $theme_version);
        }
        $this->setName($theme_name);

return true;
    }

/**
     * returns theme object loaded from given folder
     * or false if theme is invalid
     *
     * @param string $folder path to theme
     *
     * @return Theme|false
     * @static
     * @access public
     */
    static public function load($folder)
    {
        $theme = new Theme();

$theme->setPath($folder);

if (! $theme->loadInfo()) {
            return false;
        }

$theme->checkImgPath();

return $theme;
    }

/**
     * checks image path for existence - if not found use img from fallback theme
     *
     * @access public
     * @return bool
     */
    public function checkImgPath()
    {
        // try current theme first
        if (is_dir($this->getPath() . '/img/')) {
            $this->setImgPath($this->getPath() . '/img/');
            return true;
        }

// try fallback theme
        $fallback = './themes/' . ThemeManager::FALLBACK_THEME . '/img/';
        if (is_dir($fallback)) {
            $this->setImgPath($fallback);
            return true;
        }

// we failed
        trigger_error(
            sprintf(
                __('No valid image path for theme %s found!'),
                $this->getName()
            ),
            E_USER_ERROR
        );
        return false;
    }

/**
     * returns path to theme
     *
     * @access public
     * @return string path to theme
     */
    public function getPath()
    {
        return $this->path;
    }

/**
     * returns layout file
     *
     * @access public
     * @return string layout file
     */
    public function getLayoutFile()
    {
        return $this->getPath() . '/layout.inc.php';
    }

/**
     * set path to theme
     *
     * @param string $path path to theme
     *
     * @return void
     * @access public
     */
    public function setPath($path)
    {
        $this->path = trim($path);
    }

/**
     * sets version
     *
     * @param string $version version to set
     *
     * @return void
     * @access public
     */
    public function setVersion($version)
    {
        $this->version = trim($version);
    }

/**
     * returns version
     *
     * @return string version
     * @access public
     */
    public function getVersion()
    {
        return $this->version;
    }

/**
     * checks theme version against $version
     * returns true if theme version is equal or higher to $version
     *
     * @param string $version version to compare to
     *
     * @return boolean true if theme version is equal or higher to $version
     * @access public
     */
    public function checkVersion($version)
    {
        return version_compare($this->getVersion(), $version, 'lt');
    }

/**
     * sets name
     *
     * @param string $name name to set
     *
     * @return void
     * @access public
     */
    public function setName($name)
    {
        $this->name = trim($name);
    }

/**
     * returns name
     *
     * @access  public
     * @return string name
     */
    public function getName()
    {
        return $this->name;
    }

/**
     * sets id
     *
     * @param string $id new id
     *
     * @return void
     * @access public
     */
    public function setId($id)
    {
        $this->id = trim($id);
    }

/**
     * returns id
     *
     * @return string id
     * @access public
     */
    public function getId()
    {
        return $this->id;
    }

/**
     * Sets path to images for the theme
     *
     * @param string $path path to images for this theme
     *
     * @return void
     * @access public
     */
    public function setImgPath($path)
    {
        $this->img_path = $path;
    }

/**
     * Returns the path to image for the theme.
     * If filename is given, it possibly fallbacks to fallback
     * theme for it if image does not exist.
     *
     * @param string $file file name for image
     *
     * @access public
     * @return string image path for this theme
     */
    public function getImgPath($file = null)
    {
        if (is_null($file)) {
            return $this->img_path;
        }

if (is_readable($this->img_path . $file)) {
            return $this->img_path . $file;
        }

return './themes/' . ThemeManager::FALLBACK_THEME . '/img/' . $file;
    }

/**
     * load css (send to stdout, normally the browser)
     *
     * @return bool
     * @access  public
     */
    public function loadCss()
    {
        $success = true;

if ($GLOBALS['text_dir'] === 'ltr') {
            $right = 'right';
            $left = 'left';
        } else {
            $right = 'left';
            $left = 'right';
        }

foreach ($this->_cssFiles as $file) {
            $path = $this->getPath() . "/css/$file.css.php";
            $fallback = "./themes/"
                . ThemeManager::FALLBACK_THEME .  "/css/$file.css.php";

if (is_readable($path)) {
                echo "\n/* FILE: " , $file , ".css.php */\n";
                include $path;
            } else if (is_readable($fallback)) {
                echo "\n/* FILE: " , $file , ".css.php */\n";
                include $fallback;
            } else {
                $success = false;
            }
        }

$sprites = $this->getSpriteData();
        /* Check if there is a valid data file for sprites */
        if (count($sprites) > 0) {

$bg = $this->getImgPath() . 'sprites.png?v=' . urlencode(PMA_VERSION);
            ?>
            /* Icon sprites */
            .icon {
            margin: 0;
            margin-<?php echo $left; ?>: .3em;
            padding: 0 !important;
            width: 16px;
            height: 16px;
            background-image: url('<?php echo $bg; ?>') !important;
            background-repeat: no-repeat !important;
            background-position: top left !important;
            }
            <?php

$template = ".ic_%s { background-position: 0 -%upx !important;%s%s }\n";
            foreach ($sprites as $name => $data) {
                // generate the CSS code for each icon
                $width = '';
                $height = '';
                // if either the height or width of an icon is 16px,
                // then it's pointless to set this as a parameter,
                //since it will be inherited from the "icon" class
                if ($data['width'] != 16) {
                    $width = " width: " . $data['width'] . "px;";
                }
                if ($data['height'] != 16) {
                    $height = " height: " . $data['height'] . "px;";
                }
                printf(
                    $template,
                    $name,
                    ($data['position'] * 16),
                    $width,
                    $height
                );
            }
        }

return $success;
    }

/**
     * Loads sprites data
     *
     * @return array with sprites
     */
    public function getSpriteData()
    {
        $sprites = array();
        $filename = $this->getPath() . '/sprites.lib.php';
        if (is_readable($filename)) {

// This defines sprites array
            include $filename;

// Backwards compatibility for themes from 4.6 and older
            if (function_exists('PMA_sprites')) {
                $sprites = PMA_sprites();
            }
        }
        return $sprites;
    }

/**
     * Renders the preview for this theme
     *
     * @return string
     * @access public
     */
    public function getPrintPreview()
    {
        $url_params = array('set_theme' => $this->getId());
        $url = 'index.php' . URL::getCommon($url_params);

$retval  = '<div class="theme_preview">';
        $retval .= '<h2>';
        $retval .= htmlspecialchars($this->getName());
        $retval .= ' (' . htmlspecialchars($this->getVersion()) . ') ';
        $retval .= '</h2>';
        $retval .= '<p>';
        $retval .= '<a class="take_theme" ';
        $retval .= 'name="' . htmlspecialchars($this->getId()) . '" ';
        $retval .=  'href="' . $url . '">';
        if (@file_exists($this->getPath() . '/screen.png')) {
            // if screen exists then output
            $retval .= '<img src="' . $this->getPath() . '/screen.png" border="1"';
            $retval .= ' alt="' . htmlspecialchars($this->getName()) . '"';
            $retval .= ' title="' . htmlspecialchars($this->getName()) . '" />';
            $retval .= '<br />';
        } else {
            $retval .= __('No preview available.');
        }
        $retval .= '[ <strong>' . __('take it') . '</strong> ]';
        $retval .= '</a>';
        $retval .= '</p>';
        $retval .= '</div>';
        return $retval;
    }

/**
     * Gets currently configured font size.
     *
     * @return String with font size.
     */
    function getFontSize()
    {
        $fs = $GLOBALS['PMA_Config']->get('fontsize');
        if (!is_null($fs)) {
            return $fs;
        }
        return '82%';
    }

/**
     * Generates code for CSS gradient using various browser extensions.
     *
     * @param string $start_color Color of gradient start, hex value without #
     * @param string $end_color   Color of gradient end, hex value without #
     *
     * @return string CSS code.
     */
    function getCssGradient($start_color, $end_color)
    {
        $result = array();
        // Opera 9.5+, IE 9
        $result[] = 'background-image: url(./themes/svg_gradient.php?from='
            . $start_color . '&to=' . $end_color . ');';
        $result[] = 'background-size: 100% 100%;';
        // Safari 4-5, Chrome 1-9
        $result[] = 'background: '
            . '-webkit-gradient(linear, left top, left bottom, from(#'
            . $start_color . '), to(#' . $end_color . '));';
        // Safari 5.1, Chrome 10+
        $result[] = 'background: -webkit-linear-gradient(top, #'
            . $start_color . ', #' . $end_color . ');';
        // Firefox 3.6+
        $result[] = 'background: -moz-linear-gradient(top, #'
            . $start_color . ', #' . $end_color . ');';
        // IE 10
        $result[] = 'background: -ms-linear-gradient(top, #'
            . $start_color . ', #' . $end_color . ');';
        // Opera 11.10
        $result[] = 'background: -o-linear-gradient(top, #'
            . $start_color . ', #' . $end_color . ');';
        return implode("\n", $result);
    }
}

${this.title}

Code Editor : Theme.php