rename variable
[phpmyadmin.git] / setup / 
tree72ed61d28b18a76270ea9a77d6a496b6862ad283
drwxr-xr-x   ..
-rw-r--r-- 248 ajax.js
-rw-r--r-- 2187 config.php
drwxr-xr-x - frames
-rw-r--r-- 1738 index.php
drwxr-xr-x - lib
-rw-r--r-- 5354 scripts.js
-rw-r--r-- 11125 styles.css
-rw-r--r-- 710 validate.php