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

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