diff options
| author | Yuchen Pei <id@ypei.org> | 2023-07-23 23:05:13 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-07-23 23:05:13 +1000 |
| commit | f2d3c6ca51bfbf7620ddde9faf83ec5fd973abf5 (patch) | |
| tree | 625166378b99cac24ddcd36e0cbf6c04fee37d1e /wiki-faces.el | |
| parent | 38ca3c5e5a075f15732f38a674666fa6db4b63f5 (diff) | |
Add a mediawiki API fetcher.
Applicable to wikihow. Also clean up the code to reduce duplication
with fetching and finding files. And fix when the wiki entry is under
a directory naming itself which is common in mediawiki: both foo and
foo/bar could be a valid wiki title. So locally files need to have an
extension (by default .wiki). Also add the extension to
auto-mode-alist.
Diffstat (limited to 'wiki-faces.el')
0 files changed, 0 insertions, 0 deletions