Install a PHP extension from a local folder

Question

Suppose I have file called myphpextension.so in my home directory. Registering it with PHP normally involves (as per this post):

1. Finding the extens