Adds missing ext.php file to github.com repo