BossBey File Manager
PHP:
7.3.31-1~deb10u1
OS:
Linux
User:
www-data
Root
/
home
/
www
/
sem
/
phpMyAdmin
/
libraries
📤 Upload
📝 New File
📁 New Folder
Close
Editing: Partition.class.php
<?php /* vim: set expandtab sw=4 ts=4 sts=4: */ /** * Library for extracting information about the partitions * * @version $Id: Partition.class.php 11986 2008-11-24 11:05:40Z nijel $ * @package phpMyAdmin */ /** * base Partition Class * @package phpMyAdmin */ class PMA_Partition { /** * returns array of partition names for a specific db/table * * @access public * @uses PMA_DBI_fetch_result() * @return array of partition names */ static public function getPartitionNames($db, $table) { if (PMA_Partition::havePartitioning()) { return PMA_DBI_fetch_result("select `PARTITION_NAME` from `information_schema`.`PARTITIONS` where `TABLE_SCHEMA` = '" . $db . "' and `TABLE_NAME` = '" . $table . "'"); } else { return array(); } } /** * checks if MySQL server supports partitioning * * @static * @staticvar boolean $have_partitioning * @staticvar boolean $already_checked * @access public * @uses PMA_DBI_fetch_result() * @return boolean */ static public function havePartitioning() { static $have_partitioning = false; static $already_checked = false; if (! $already_checked) { $have_partitioning = PMA_MYSQL_INT_VERSION >= 50100 && PMA_DBI_fetch_value("SHOW VARIABLES LIKE 'have_partitioning';"); $already_checked = true; } return $have_partitioning; } } ?>
Save
Cancel