| Index: trunk/extensions/TreeAndMenu/TreeAndMenu.php |
| — | — | @@ -14,7 +14,7 @@ |
| 15 | 15 | |
| 16 | 16 | if (!defined('MEDIAWIKI')) die('Not an entry point.'); |
| 17 | 17 | |
| 18 | | -define('TREEANDMENU_VERSION','1.0.7, 2008-07-31'); |
| | 18 | +define('TREEANDMENU_VERSION','1.0.8, 2008-12-08'); |
| 19 | 19 | |
| 20 | 20 | # Set any unset images to default titles |
| 21 | 21 | if (!isset($wgTreeViewImages) || !is_array($wgTreeViewImages)) $wgTreeViewImages = array(); |
| — | — | @@ -63,6 +63,7 @@ |
| 64 | 64 | # Update general tree paths and properties |
| 65 | 65 | $this->baseDir = dirname(__FILE__); |
| 66 | 66 | $this->baseUrl = preg_replace('|^.+(?=[/\\\\]extensions)|', $wgScriptPath, $this->baseDir); |
| | 67 | + $this->baseUrl = str_replace('\\', '/', $this->baseDir); |
| 67 | 68 | $this->useLines = $wgTreeViewShowLines ? 'true' : 'false'; |
| 68 | 69 | $this->uniq = uniqid($this->uniqname); |
| 69 | 70 | |