aboutsummaryrefslogtreecommitdiff
path: root/wiki-faces.el
diff options
context:
space:
mode:
authorYuchen Pei <id@ypei.org>2023-07-23 23:05:13 +1000
committerYuchen Pei <id@ypei.org>2023-07-23 23:05:13 +1000
commitf2d3c6ca51bfbf7620ddde9faf83ec5fd973abf5 (patch)
tree625166378b99cac24ddcd36e0cbf6c04fee37d1e /wiki-faces.el
parent38ca3c5e5a075f15732f38a674666fa6db4b63f5 (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