/**
* Get media pool page gui for id and title
*/
static function getGUIForTitle($a_media_pool_id, $a_title, $a_old_nr = 0)
{
global $ilDB;
include_once "./Modules/MediaPool/classes/class.ilMediaPoolPage.php";
$id = ilMediaPoolPage::getPageIdForTitle($a_media_pool_id, $a_title);
$page_gui = new ilMediaPoolPageGUI($id, $a_old_nr);
return $page_gui;
}