| /dokuwiki/.github/workflows/ |
| H A D | deletedFiles.yml | 1 # This workflow updates the list of deleted files based on the recent changes and creates a pull re…
2 # It compares the current master with the data/deleted.files file and cleans the file from any re-i…
3 …ares the current master with the stable branch and adds all deleted files to the data/deleted.file…
8 name: "Update deleted files"
20 name: Update deleted files
34 … grep -v "^$E$" data/deleted.files > data/deleted.files.tmp && mv data/deleted.files{.tmp,}
37 - name: Update list with deleted files
43 if grep -q "^$F$" data/deleted.files; then
46 if ( ! test -f "data/deleted.files.tmp"); then
47 …ed on/ && !found {print input; found=1} 1' data/deleted.files > data/deleted.files.tmp && cp data/…
[all …]
|
| H A D | todoChecker.yml | 5 types: [edited, deleted]
|
| /dokuwiki/lib/plugins/usermanager/_test/ |
| H A D | AuthPlugin.php | 44 $deleted = 0;
48 $deleted++;
52 return $deleted;
|
| /dokuwiki/inc/lang/en/ |
| H A D | onceexisted.txt | 3 …. You can check the list of **Old revisions** to see when and why it was deleted, access old revis…
|
| H A D | lang.php | 106 $lang['profdeleted'] = 'Your user account has been deleted from this wiki';
196 $lang['deletesucc'] = 'The file "%s" has been deleted.';
197 $lang['deletefail'] = '"%s" couldn\'t be deleted - check permissions.';
198 $lang['mediainuse'] = 'The file "%s" hasn\'t been deleted - it is still in use.';
208 $lang['ref_inuse'] = 'The file can\'t be deleted, because it\'s still used by the follo…
232 $lang['deleted'] = 'removed';
|
| /dokuwiki/lib/plugins/authplain/lang/en/ |
| H A D | lang.php | 9 $lang['protected'] = 'Data for user %s is protected and can not be modified or deleted.';
|
| /dokuwiki/inc/parser/ |
| H A D | parser.php | 19 … 'strong', 'emphasis', 'underline', 'monospace', 'subscript', 'superscript', 'deleted', 'footnote'
|
| /dokuwiki/inc/Action/ |
| H A D | Revert.php | 41 $sum = $lang['deleted'];
|
| /dokuwiki/lib/plugins/usermanager/lang/en/ |
| H A D | lang.php | 42 $lang['delete_ok'] = '%d users deleted';
55 $lang['edit_usermissing'] = 'Selected user not found, the specified user name may have been deleted…
|
| /dokuwiki/lib/plugins/authplain/ |
| H A D | auth.php | 237 * @param array $users array of users to be deleted
238 * @return int the number of users deleted
248 $deleted = [];
255 if (isset($this->users[$user])) $deleted[] = preg_quote($user, '/');
258 if ($deleted === []) return 0;
260 $pattern = '/^(' . implode('|', $deleted) . '):/';
|
| /dokuwiki/inc/File/ |
| H A D | PageFile.php | 60 ? '' // attic stores complete last page version for a deleted page
162 // nothing to do when the file has already deleted
166 $data['summary'] = $lang['deleted'];
171 // pre-save deleted revision
|
| /dokuwiki/inc/Parsing/ParserMode/ |
| H A D | Formatting.php | 45 'deleted' => [
|
| /dokuwiki/inc/lang/ku/ |
| H A D | lang.php | 70 $lang['deleted'] = 'hat jê birin';
|
| /dokuwiki/_test/tests/inc/ |
| H A D | fulltext_backlinks.test.php | 72 saveWikiText('test:internallinks', '', 'Deleted');
|
| H A D | fulltext_mediause.test.php | 79 saveWikiText('test:internalmedia_usage', '', 'Deleted');
|
| H A D | changelog_getlastrevisionat.test.php | 128 * test get correct revision on deleted media
|
| H A D | indexer_rename.test.php | 48 …=> array()), $this->indexer->lookup($query), 'Existing page hasn\'t been deleted from the index.');
|
| /dokuwiki/lib/tpl/dokuwiki/css/ |
| H A D | _diff.css | 15 /* no style.ini colours because deleted and added lines have a fixed background colour */
|
| /dokuwiki/lib/plugins/usermanager/ |
| H A D | remote.php | 88 * @return bool wether the user was successfully deleted
|
| /dokuwiki/inc/ChangeLog/ |
| H A D | ChangeLog.php | 82 * has modified, created or deleted outside of DokuWiki.
579 * however this is not possible when the file has already deleted outside of DokuWiki.
583 * 2) the value is essentially volatile for deleted but once existed files.
629 // externally deleted, set revision date as late as possible
636 … 'sum' => $lang['deleted'] . ' - ' . $lang['external_edit'] . ' (' . $lang['unknowndate'] . ')',
|
| H A D | RevisionInfo.php | 131 // exact date is unknown for externally deleted file
281 // even if it had once existed but deleted before. Simply ignore to check changelog.
|
| /dokuwiki/inc/ |
| H A D | changelog.php | 155 * RECENTS_SKIP_DELETED - don't include deleted pages
258 * RECENTS_SKIP_DELETED - don't include deleted pages
|
| /dokuwiki/inc/lang/mg/ |
| H A D | lang.php | 87 $lang['deleted'] = 'voafafa';
|
| /dokuwiki/inc/Extension/ |
| H A D | AuthPlugin.php | 25 'delUser' => false, // can Users be deleted?
306 * @return int number of users deleted
|
| /dokuwiki/inc/lang/hi/ |
| H A D | lang.php | 86 $lang['deleted'] = 'हटाया';
|