tiny tiny rss, php7, mariadb

I had a virtual server instance that I hadn’t yet upgraded to the latest Debian stable (9/stretch).  There was a reason for this but I don’t remember what it was. When I upgraded it made the switch from MySQL to MariaDB, which is said to be a drop-in replacement.  I was skeptical.