Jeremy Ruston 9e3618bdcf Rename the 'title' attributes of various widgets to 'tiddler' ...

The change is to avoid confusion with the HTML 'title' attribute. The
name 'tiddler' better emphasises the purpose of the attribute, too.

2013-10-30 13:36:44 +00:00

..

rules

Rename the 'title' attributes of various widgets to 'tiddler'

2013-10-30 13:36:44 +00:00

wikiparser.js

Removed obsolete comments

2013-08-23 18:38:44 +01:00

wikirulebase.js

Moving the wikiparser rules around

2012-12-20 16:38:33 +00:00