Для Opera Ctrl + L работает или F8. А также простой двойной щелчок работает в Opera.
Существует несколько PPA с PHP 5.3.X для Ubuntu 12.04.