Matt Lauber 1dc7647640 Add plugin-priority fields for core plugins (#3113) ... * Bug in plugin Ordering Comparing plugin A without a `plugin-priority` field to plugin B with a `plugin-priority= 1` results in the plugins being ordered B, A when it seems like they should be ordered A, B. * Switch to setting a plugin-priority on the built in themes to allow overriding parts of them.		2018-03-20 21:05:07 +00:00
..
base.tid	Make editor font configurable, so user can easily change it to eg monospace font (#2867)	2017-06-29 16:55:49 +01:00
plugin.info	Add plugin-priority fields for core plugins (#3113)	2018-03-20 21:05:07 +00:00