Best PHP, HHVM and MongoDB Source for Debian Jessie

Just installed Debian 8. I’m using php5-cli for cronjobs, HHVM for webpages (using fcgiwrap) and MongoDB for various collections. Here are my current source for Debian Jessie as bash commands, offering org sources. I included pin preference files for apt to set priorities, which source to use for which package.

Debian apt-pinning (Dotdeb, MariaDB, MongoDB, …)

Short post, I’d like to share my source lists for Debian 7.6, including apt-pinning for MariaDB / MySQL. It also includes all Packages from Dotdeb (Zabix, Redis, PHP, …).

Apt-pinning preference file for MariaDB / MySQL: /etc/apt/preferences.d/mariadb