2011-05-24 15:35:57 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
/** Use filter in tables list
|
2015-09-08 16:23:25 +00:00
|
|
|
* @link https://www.adminer.org/plugins/#use
|
2011-05-24 15:35:57 +00:00
|
|
|
* @author Jakub Vrana, http://www.vrana.cz/
|
|
|
|
* @license http://www.apache.org/licenses/LICENSE-2.0 Apache License, Version 2.0
|
|
|
|
* @license http://www.gnu.org/licenses/gpl-2.0.html GNU General Public License, version 2 (one or other)
|
|
|
|
*/
|
|
|
|
class AdminerTablesFilter {
|
2016-05-31 19:02:16 +00:00
|
|
|
function tablesPrint($tables) { ?>
|
2016-05-31 22:18:25 +00:00
|
|
|
<p class="jsonly"><input id="filter-field" onkeyup="tablesFilterInput();" autocomplete="off">
|
2016-05-31 19:02:16 +00:00
|
|
|
<p id='tables' onmouseover='menuOver(this, event);' onmouseout='menuOut(this);'>
|
|
|
|
<?php
|
|
|
|
foreach ($tables as $table => $type) {
|
|
|
|
echo '<span data-table-name="'.h($table).'"><a href="'.h(ME).'select='.urlencode($table).'"'.bold($_GET["select"] == $table).">".lang('select')."</a> ";
|
|
|
|
echo '<a href="'.h(ME).'table='.urlencode($table).'"'.bold($_GET["table"] == $table).">".h($table)."</a><br></span>\n";
|
|
|
|
}
|
|
|
|
?>
|
2011-05-24 15:35:57 +00:00
|
|
|
<script type="text/javascript">
|
2016-05-31 19:02:16 +00:00
|
|
|
var tablesFilterTimeout = null;
|
|
|
|
var tablesFilterValue = '';
|
|
|
|
|
|
|
|
function tablesFilter(){
|
|
|
|
var value = document.getElementById('filter-field').value.toLowerCase();
|
|
|
|
if (value == tablesFilterValue) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
tablesFilterValue = value;
|
|
|
|
if (value != '') {
|
|
|
|
var reg = (value + '').replace(/([\\\.\+\*\?\[\^\]\$\(\)\{\}\=\!\<\>\|\:])/g, '\\$1');
|
|
|
|
reg = new RegExp('('+ reg + ')', 'gi');
|
|
|
|
}
|
2016-05-31 22:18:25 +00:00
|
|
|
if (sessionStorage) {
|
|
|
|
sessionStorage.setItem('adminer_tables_filter', value);
|
|
|
|
}
|
2011-05-24 15:35:57 +00:00
|
|
|
var tables = document.getElementById('tables').getElementsByTagName('span');
|
2016-05-31 19:02:16 +00:00
|
|
|
for (var i = 0; i < tables.length; i++) {
|
|
|
|
var a = tables[i].getElementsByTagName('a')[1];
|
|
|
|
var text = tables[i].getAttribute('data-table-name');
|
|
|
|
if (value == '') {
|
|
|
|
tables[i].className = '';
|
|
|
|
a.innerHTML = text;
|
|
|
|
} else {
|
|
|
|
tables[i].className = (text.toLowerCase().indexOf(value) == -1 ? 'hidden' : '');
|
|
|
|
a.innerHTML = text.replace(reg, '<strong>$1</strong>');
|
|
|
|
}
|
2011-05-24 15:35:57 +00:00
|
|
|
}
|
|
|
|
}
|
2016-05-31 19:02:16 +00:00
|
|
|
|
|
|
|
function tablesFilterInput() {
|
|
|
|
window.clearTimeout(tablesFilterTimeout);
|
|
|
|
tablesFilterTimeout = window.setTimeout(tablesFilter, 200);
|
|
|
|
}
|
|
|
|
|
2016-05-31 22:18:25 +00:00
|
|
|
if (sessionStorage){
|
|
|
|
var db = document.getElementById('dbs').getElementsByTagName('select')[0];
|
|
|
|
db = db.options[db.selectedIndex].text;
|
|
|
|
if (db == sessionStorage.getItem('adminer_tables_filter_db') && sessionStorage.getItem('adminer_tables_filter')){
|
|
|
|
document.getElementById('filter-field').value = sessionStorage.getItem('adminer_tables_filter');
|
|
|
|
tablesFilter();
|
|
|
|
}
|
|
|
|
sessionStorage.setItem('adminer_tables_filter_db', db);
|
2016-05-31 19:02:16 +00:00
|
|
|
}
|
2011-05-24 15:35:57 +00:00
|
|
|
</script>
|
|
|
|
<?php
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|