I wouldn't personally add the `php` extension, because what if we need to add other weird/uncommon extensions? Maybe we better stay simple here.