Editing File: /usr/share/doc/phpmyadmin/html/developers.html