phpMyAdmin: fix for f20 and unversioned docdir