| /plugin/jdraw/src/com/mxgraph/examples/swing/editor/ |
| H A D | EditorMenuBar.java.bak | 72 // Creates the file menu
73 menu = add(new JMenu(mxResources.get("file")));
|
| H A D | BasicGraphEditor.java.bak | 543 // public void setCurrentFile(File file)
546 // currentFile = file;
548 // firePropertyChange("currentFile", oldValue, file);
550 // if (oldValue != file)
|
| H A D | DefaultFileFilter.java | 56 public boolean accept(File file) in accept() argument
58 return file.isDirectory() || file.getName().toLowerCase().endsWith(ext); in accept()
130 public boolean accept(File file) in accept() argument
132 if (file.isDirectory()) in accept()
137 String filename = file.toString().toLowerCase(); in accept()
193 public boolean accept(File file) in accept() argument
195 if (file.isDirectory()) in accept()
200 String filename = file.getName().toLowerCase(); in accept()
|
| /plugin/jdraw/src/com/mxgraph/examples/swing/resources/ |
| H A D | editor_zh-CN.properties | 4 file=File key
174 file=File key
176 overwriteExistingFile=Overwrite existing file?
|
| H A D | editor_zh-CN.properties.bak | 4 file=File
106 file=\u6587\u4ef6
|
| H A D | editor_de.properties | 4 file=Datei key
182 file=Datei key
|
| H A D | editor.properties | 4 file=File key
178 file=File key
180 overwriteExistingFile=Overwrite existing file?
|
| /plugin/logautherror/ |
| H A D | README.markdown | 31 See the COPYING file in your DokuWiki folder for details
|
| /plugin/dokubookmark/ |
| H A D | action.php | 133 $file = wikiFN($n);
140 if (@file_exists($file)){
185 $file = wikiFN($ID);
195 if (@file_exists($file)){
|
| /plugin/supa/ |
| H A D | LICENSE.txt | 289 to attach them to the start of each source file to most effectively
290 convey the exclusion of warranty; and each file should have at least
|
| H A D | README.txt | 5 (or worse: WinWord), save the image and upload this file.
|
| /plugin/supa/lang/en/ |
| H A D | intro.txt | 3 to save to a file first anymore.
|
| /plugin/ryubin/ |
| H A D | README | 32 See the COPYING file in your DokuWiki folder for details
|
| /plugin/rssticker/ |
| H A D | README | 25 See the COPYING file in your DokuWiki folder for details
|
| H A D | lastRSS.php | 70 $result = unserialize(join('', file($cache_file)));
84 while ($file = readdir ($dh)) {
85 if ($file != "." && $file != "..") {
86 if (file_exists($this->cache_dir."/".$file)) {
87 if ((fileatime($this->cache_dir."/".$file)+604800) <= time()) {
88 unlink ($this->cache_dir."/".$file);
|
| /plugin/googlepagerank/ |
| H A D | README | 25 See the COPYING file in your DokuWiki folder for details
|
| /plugin/daftdrafts/ |
| H A D | action.php | 116 if ( empty($authorizationList) ) $authorizationList = file(DOKU_CONF.'acl.auth.php');
117 $daftAuthorizationList = file(dirname(__FILE__).'/daft.auth.php');
|
| H A D | helper.php | 104 if ( empty($acl_config) ) $acl_config = file(DOKU_CONF.'acl.auth.php');
105 $daftAcl = file(dirname(__FILE__).'/daft.auth.php');
|
| /plugin/autolink2/ |
| H A D | admin.php | 110 function search(&$data,$base,$file,$type,$lvl,$opts){ argument
111 if(!preg_match('#\.txt$#',$file)) return true;;
115 return search_regex(&$data,$base,$file,$reg,$words);
|
| H A D | helper.php | 28 $this->page_idx = @file($this->idx_dir.'/page.idx');
32 $this->page_idx = @file($this->idx_dir.'/page.idx');
37 $autolink_index = @file($this->idx_dir.'/autolink.idx');
|
| /plugin/unusedmedias/admin/ |
| H A D | list.php | 45 $file = mediaFN($mediaToDelete);
47 if(file_exists($file)){
52 $data['name'] = basename($file);
53 $data['path'] = $file;
54 $data['size'] = (@file_exists($file)) ? filesize($file) : 0;
60 $data['unl'] = @unlink($file);
|
| /plugin/pagemove/lang/en/ |
| H A D | pagemove.txt | 8 * For moving a file you also need create permission in the target directory.
|
| /plugin/pagemove/ |
| H A D | admin.php | 407 foreach($files as $file) {
408 if( $file == '.' || $file == '..' ) continue;
413 if( preg_match('#\.txt$#', $file) ) {
851 if(is_file($old_path.$file) and preg_match($regex,$file)) {
853 … io_rename($old_path.$file,$new_path.str_replace($opts['name'], $opts['newname'], $file));
883 while(($file = readdir($dh)) !== false) {
887 $dirs[] = $dir.'/'.$file;
890 $files[] = $dir.'/'.$file;
903 foreach($files as $file) {
923 $text = io_readfile($base.'/'.$file);
[all …]
|
| /plugin/pagemove/lang/cs/ |
| H A D | lang.php.txt | 4 * czech language file
|
| /plugin/pagemove/lang/es/ |
| H A D | lang.php.txt | 4 * spanish language file
|