[ticket/11920] Pin MariaDB repository to avoid conflicts with Ubuntu MySQL.

http://tracker.phpbb.com/browse/PHPBB3-11920