|
@@ 10381-10383 (lines=3) @@
|
| 10378 |
|
// ../../.. to return from inc/lib/flv_player to the document/main path. |
| 10379 |
|
if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
| 10380 |
|
$old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
| 10381 |
|
} elseif (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 6) == 'video/') { |
| 10382 |
|
$old_new['dest'] = str_replace('video/', '../../../../video/', $old_new['dest']); |
| 10383 |
|
} |
| 10384 |
|
//Fix to avoid problems with default_course_document |
| 10385 |
|
if (strpos("main/default_course_document", $old_new['dest'] === false)) { |
| 10386 |
|
//$newDestination = str_replace('document/', $mult.'document/', $old_new['dest']); |
|
@@ 10449-10451 (lines=3) @@
|
| 10446 |
|
// will be added in document/main/inc/lib/flv_player/flv_player.swf and that needs |
| 10447 |
|
// to find the flv to play in document/main/, so we replace main/ in the flv path by |
| 10448 |
|
// ../../.. to return from inc/lib/flv_player to the document/main path. |
| 10449 |
|
if (substr($old_new['dest'], -3) == 'flv' && substr($old_new['dest'], 0, 5) == 'main/') { |
| 10450 |
|
$old_new['dest'] = str_replace('main/', '../../../', $old_new['dest']); |
| 10451 |
|
} |
| 10452 |
|
$string = str_replace($old_new['orig'], $old_new['dest'], $string); |
| 10453 |
|
} |
| 10454 |
|
file_put_contents($dest_file, $string); |