Improve support for ext-phalcon and refactor extensions.ts

src/scripts/phalcon.sh

@@ -1,8 +1,6 @@
 ini_file=$(php --ini | grep "Loaded Configuration" | sed -e "s|.*:s*||" | sed "s/ //g")
-ini_dir=$(php --ini | grep in: | sed -e "s|.*:s*||" | sed "s/ //g")
-if [ ! "$(apt-cache search php"$2"-psr)" ]; then
-  sudo DEBIAN_FRONTEND=noninteractive add-apt-repository ppa:ondrej/php -y >/dev/null 2>&1
-fi
+find /etc/apt/sources.list.d -type f -name 'ondrej-ubuntu-php*.list' -exec sudo DEBIAN_FRONTEND=noninteractive apt-fast update -o Dir::Etc::sourcelist="{}" ';' >/dev/null 2>&1
+curl -s https://packagecloud.io/install/repositories/phalcon/stable/script.deb.sh | sudo bash
 sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$2"-dev
 sudo DEBIAN_FRONTEND=noninteractive apt-fast install -y php"$2"-psr
 for tool in php-config phpize; do
@@ -19,6 +17,6 @@ if [ ! "$(apt-cache search php"$2"-psr)" ]; then
   echo "extension=psr.so" >> "$ini_file"
 fi
 
-cd ~ && git clone --depth=1 -v https://github.com/phalcon/cphalcon.git -b "$1"
-cd cphalcon/build && sudo ./install --phpize /usr/bin/phpize"$2" --php-config /usr/bin/php-config"$2"
-echo "extension=phalcon.so" | sudo tee "$ini_dir/50-phalcon.ini"
+extension_major_version=$(echo "$1" | grep -i -Po '\d')
+extension_version=$(apt-cache policy -- *phalcon | grep -i -Po "$extension_major_version\.\d\.\d.*php$2" | head -n 1)
+sudo DEBIAN_FRONTEND=noninteractive apt-fast -o Dpkg::Options::="--force-overwrite" install -y php"$2"-phalcon="$extension_version"