Thanks. phpMyAdmin now works in US 5.3. I think it was indeed as you say due to an old cookie, because when I pressed Ctrl+F5 in IE, then phpMyAdmin suddenly loaded just fine. Perhaps the same issue occured in 5.4. I'll reinstall 5.4 to see if it was the same (cookie) issue that prevented phpMyAdmin from running. (Will post result)