I'm having trouble installing php-filter extension on a Ubuntu 16.04.7 LTS system.
Currently trying to install it for my php 7.2 cli version.
When I use
apt-get install php-filter I get
Unable to locate package php-filter response.
I've previously added
ppa:ondrej/php repository, from which I've installed many other php extensions, but it seems like it doesn't have this one.
Any ideas how and from where to install this specific extension?
EDIT AFTER FOUND SOLUTION
The underlying issue was that the composer version I was using showed me a false message that the php's filter extension wasn't installed, but it was actually a faulty composer version.
By manually removing and installing a fresh composer version I was able to overcome this issue.