BurningTreeC 6e59d2597a Style the framed editor (#3596) ... * style the framed editor this makes the framed editor look a bit less ugly 😎 * Update framed.js * Update base.tid * Update base.tid		2018-12-01 14:21:43 +00:00
..
base.tid	Style the framed editor (#3596)	2018-12-01 14:21:43 +00:00
plugin.info	Add plugin-priority fields for core plugins (#3113)	2018-03-20 21:05:07 +00:00