diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2014-01-08 20:18:55 +0100 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2014-01-08 20:19:20 +0100 |
| commit | 4bad83d828217dc64292223b268c6a3674984070 (patch) | |
| tree | e6e0ce58bce683bfb0d45e6509bf281c0eda8f36 /lib/plugins/extension/helper/extension.php | |
| parent | ec8911d4970372f2a513cf4f1fe78c46c29ed67c (diff) | |
| download | rpg-4bad83d828217dc64292223b268c6a3674984070.tar.gz rpg-4bad83d828217dc64292223b268c6a3674984070.tar.bz2 | |
use DOKU_LF
PHP_EOL is platform dependent, so you get in trouble while migrating
between platforms.
Diffstat (limited to 'lib/plugins/extension/helper/extension.php')
| -rw-r--r-- | lib/plugins/extension/helper/extension.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/extension/helper/extension.php b/lib/plugins/extension/helper/extension.php index 3ff2ebcd8..c13aa983d 100644 --- a/lib/plugins/extension/helper/extension.php +++ b/lib/plugins/extension/helper/extension.php @@ -737,7 +737,7 @@ class helper_plugin_extension_extension extends DokuWiki_Plugin { $file = @file($managerpath); if(!empty($file)) { foreach($file as $line) { - list($key, $value) = explode('=', trim($line, PHP_EOL), 2); + list($key, $value) = explode('=', trim($line, DOKU_LF), 2); $key = trim($key); $value = trim($value); // backwards compatible with old plugin manager |