[phpMyAdmin Developers] Help regarding GIS editor and Open Layers in phpMyAdmin