Fix PHP extensions configuration

install/php.ini

@@ -1,7 +1,7 @@
-extension = pdo
 extension = pdo_sqlite
-extension = sodium
 extension = gettext
+# Only required for the check.php script
+extension = curl
 
 expose_php = Off
 zend_extension = opcache

install/php.sh

@@ -7,10 +7,21 @@ export PHP_INI=/etc/php/php.ini
 
 if [[ $OS = "debian" ]]; then
 	mkdir -p /etc/php/8.2/fpm/
+	ln -s /etc/php/8.2/fpm/ /etc/php/8.2/cli
 	mv /etc/php/php-fpm.conf /etc/php/8.2/fpm/
 	export PHP_INI=/etc/php/8.2/fpm/php.ini
 fi
 
+cp /etc/php.ini-development $PHP_INI
+
+if [[ $OS = "debian" ]]; then
+	echo "extension = pdo" >> $PHP_INI
+fi
+
+if [[ $OS = "arch" ]]; then
+	echo "extension = sodium" >> $PHP_INI
+fi
+
 cat /install/php.ini >> $PHP_INI
 
 # For systemd