[Phpmyadmin-devel] A bit of story about split_string()...