/**
  * 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;
 }