Rev 842 | Rev 1042 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 842 | Rev 925 | ||
---|---|---|---|
Line 492... | Line 492... | ||
492 | ($result < strlen($content)) |
492 | ($result < strlen($content)) |
493 | ) { |
493 | ) { |
494 | throw new IOException('The file "'.$path.'" could not be written to. Check your disk space and file permissions.'); |
494 | throw new IOException('The file "'.$path.'" could not be written to. Check your disk space and file permissions.'); |
495 | } |
495 | } |
496 | } |
496 | } |
- | 497 | ||
- | 498 | protected static function str_replace_first($search, $replace, $subject) { |
|
- | 499 | $pos = strpos($subject, $search); |
|
- | 500 | if ($pos !== false) { |
|
- | 501 | return substr_replace($subject, $replace, $pos, strlen($search)); |
|
- | 502 | } |
|
- | 503 | return $subject; |
|
- | 504 | } |
|
497 | } |
505 | } |