Home
last modified time | relevance | path

Searched +full:deleted -(+path:inc +path:lang) -(+path:lib +path:plugins +path:lang) -(+path:lib +path:tpl +path:dokuwiki +path:lang) (Results 26 – 35 of 35) sorted by relevance

12

/dokuwiki/vendor/splitbrain/php-archive/src/
H A DTar.php266 * @throws ArchiveCorruptedException when the file changes while reading it, the archive will be corrupt and should be deleted
/dokuwiki/inc/
H A Dparserutils.php609 'strong', 'emphasis', 'underline', 'monospace', 'subscript', 'superscript', 'deleted'
H A DDifferenceEngine.php1267 $r .= ' <span '.HTMLDiff::css('diff-deletedline').'><del>'.$lang['deleted'].'</del></span>';
H A Dmedia.php287 addMediaLogEntry(time(), $id, DOKU_CHANGE_TYPE_DELETE, $lang['deleted'], '', null, $sizechange);
/dokuwiki/vendor/geshi/geshi/src/geshi/
H A Dprogress.php375 'SHOW-IN-TASKBAR','SIDE-LABEL-HANDLE','SIDE-LABELS','SKIP-DELETED-RECORD',
/dokuwiki/inc/parser/
H A Dxhtml.php426 * Start deleted (strike-through) formatting
434 * Stop deleted (strike-through) formatting
/dokuwiki/inc/HTTP/
H A DHTTPClient.php341 if ($val == 'deleted') {
/dokuwiki/vendor/phpseclib/phpseclib/phpseclib/Net/
H A DSFTP.php1297 // 1. a file was deleted and changed to a directory behind phpseclib's back
2049 // the following will do a soft delete, which would be useful if you deleted a file
2050 // and then tried to do a stat on the deleted file. the above, in contrast, does
/dokuwiki/lib/plugins/extension/helper/
H A Dextension.php1302 $definitionfile = $extensiondir . 'deleted.files';
/dokuwiki/inc/Search/
H A DIndexer.php293 $pages[$new_id] = 'deleted:' . time() . random_int(0, 9999);

12