@@ 9687-9689 (lines=3) @@ | ||
9684 | // ../../.. to return from inc/lib/flv_player to the document/main path. |
|
9685 | if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
|
9686 | $old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
|
9687 | } elseif (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 6) == 'video/') { |
|
9688 | $old_new['dest'] = str_replace('video/', '../../../../video/', $old_new['dest']); |
|
9689 | } |
|
9690 | //Fix to avoid problems with default_course_document |
|
9691 | if (strpos("main/default_course_document", $old_new['dest'] === false)) { |
|
9692 | //$newDestination = str_replace('document/', $mult.'document/', $old_new['dest']); |
|
@@ 9730-9732 (lines=3) @@ | ||
9727 | // will be added in document/main/inc/lib/flv_player/flv_player.swf and that needs |
|
9728 | // to find the flv to play in document/main/, so we replace main/ in the flv path by |
|
9729 | // ../../.. to return from inc/lib/flv_player to the document/main path. |
|
9730 | if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
|
9731 | $old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
|
9732 | } |
|
9733 | $string = str_replace($old_new['orig'], $old_new['dest'], $string); |
|
9734 | } |
|
9735 | file_put_contents($dest_file, $string); |