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

PHPBB3-11920