Is still someone using the mysql (not mysqli)extension?


While looking into the state of the php 7.3 release, I noticed php is still build --with-mylsql which will not work for php 7.3
Actually every project should either use PDO or the mysqli extension, so I wonder if there are still users, who use the old and now deprecated mysql extension.