如何安装 PHP 5.5 的特定扩展

Question

我需要在 PHP 5.5.9 实例中安装一些特定的扩展。无法更新 PHP 版本，因为它正在镜像生产环境。

我试过

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install php5-curl php5-mysql php5-mysqli php5-pdo_mysql

但只安装了 cURL。它找不到其他扩展。

如何安装 PHP 5.5.9 的 MySQL 扩展？