このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
wiki:syntax [2020/12/18 02:23] michiya ↷ tools:syntax から syntax へページを移動しました。 |
wiki:syntax [2021/01/09 14:37] (現在) |
||
---|---|---|---|
行 255: | 行 255: | ||
==== Text to HTML Conversions ==== | ==== Text to HTML Conversions ==== | ||
- | Typography: [[DokuWiki]] can convert simple text characters to their typographically correct entities. Here is an example of recognized characters. | + | Typography: [[:dokuwiki]] can convert simple text characters to their typographically correct entities. Here is an example of recognized characters. |
-> <- <-> => <= <=> >> << -- --- 640x480 (c) (tm) (r) | -> <- <-> => <= <=> >> << -- --- 640x480 (c) (tm) (r) | ||
行 403: | 行 403: | ||
==== Syntax Highlighting ==== | ==== Syntax Highlighting ==== | ||
- | [[tools:dokuwiki]] can highlight sourcecode, which makes it easier to read. It uses the [[http:// | + | [[: |
<code java> | <code java> | ||
行 489: | 行 489: | ||
===== RSS/ATOM Feed Aggregation ===== | ===== RSS/ATOM Feed Aggregation ===== | ||
- | [[DokuWiki]] can integrate data from external XML feeds. For parsing the XML feeds, [[http:// | + | [[:dokuwiki]] can integrate data from external XML feeds. For parsing the XML feeds, [[http:// |
^ Parameter | ^ Parameter | ||
行 500: | 行 500: | ||
| //n//[dhm] | refresh period, where d=days, h=hours, m=minutes. (e.g. 12h = 12 hours). | | | //n//[dhm] | refresh period, where d=days, h=hours, m=minutes. (e.g. 12h = 12 hours). | | ||
- | The refresh period defaults to 4 hours. Any value below 10 minutes will be treated as 10 minutes. [[tools:dokuwiki]] will generally try to supply a cached version of a page, obviously this is inappropriate when the page contains dynamic external content. The parameter tells [[tools:dokuwiki]] to re-render the page if it is more than //refresh period// since the page was last rendered. | + | The refresh period defaults to 4 hours. Any value below 10 minutes will be treated as 10 minutes. [[: |
By default the feed will be sorted by date, newest items first. You can sort it by oldest first using the '' | By default the feed will be sorted by date, newest items first. You can sort it by oldest first using the '' |