/usr/share/phppgadmin/tables.js is in phppgadmin 5.1+ds-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | var predefined_lengths = null;
var sizesLength = false;
function checkLengths(sValue,idx) {
if(predefined_lengths) {
if(sizesLength==false) {
sizesLength = predefined_lengths.length;
}
for(var i=0;i<sizesLength;i++) {
if(sValue.toString().toUpperCase()==predefined_lengths[i].toString().toUpperCase()) {
document.getElementById("lengths"+idx).value='';
document.getElementById("lengths"+idx).disabled='on';
return;
}
}
document.getElementById("lengths"+idx).disabled='';
}
}
|