I would think that you should be able to use the manual you posted and begin where it starts with "Ubuntu"
http://devblog.plesk.com/2013/08/mariadb-installation-guide/
Important: Build a server snapshot just in case if you make a mistake
And make sure to use either the repository for MariaDB 10...