1<?php 2 3/** 4 * DokuWiki WebDAV Plugin - Tags File Type 5 * 6 * @link https://dokuwiki.org/plugin:webdav 7 * @author Giuseppe Di Terlizzi <giuseppe.diterlizzi@gmail.com> 8 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 9 */ 10 11namespace dokuwiki\plugin\webdav\core\DAV\Collection\Tags; 12 13use dokuwiki\plugin\webdav\core\DAV\AbstractFile; 14 15class File extends AbstractFile 16{ 17 public function getName() 18 { 19 // Windows users: Replace NS separator with "U+A789 ꞉ MODIFIER LETTER COLON" 20 if (preg_match('/(WebDAVFS|OneNote|Microsoft-WebDAV)/', $_SERVER['HTTP_USER_AGENT'])) { 21 return str_replace(':', "\xea\x9e\x89", $this->info['filename']); 22 } 23 return $this->info['filename']; 24 } 25} 26