@@ 9737-9739 (lines=3) @@ | ||
9734 | // ../../.. to return from inc/lib/flv_player to the document/main path. |
|
9735 | if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
|
9736 | $old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
|
9737 | } elseif (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 6) == 'video/') { |
|
9738 | $old_new['dest'] = str_replace('video/', '../../../../video/', $old_new['dest']); |
|
9739 | } |
|
9740 | //Fix to avoid problems with default_course_document |
|
9741 | if (strpos("main/default_course_document", $old_new['dest'] === false)) { |
|
9742 | //$newDestination = str_replace('document/', $mult.'document/', $old_new['dest']); |
|
@@ 9780-9782 (lines=3) @@ | ||
9777 | // will be added in document/main/inc/lib/flv_player/flv_player.swf and that needs |
|
9778 | // to find the flv to play in document/main/, so we replace main/ in the flv path by |
|
9779 | // ../../.. to return from inc/lib/flv_player to the document/main path. |
|
9780 | if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
|
9781 | $old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
|
9782 | } |
|
9783 | $string = str_replace($old_new['orig'], $old_new['dest'], $string); |
|
9784 | } |
|
9785 | file_put_contents($dest_file, $string); |