Mario Vavti 1ce4eda0b9 wiki: move delete page functionality to the widget		2016-11-28 11:29:10 +01:00
..
css	wiki: move delete page functionality to the widget	2016-11-28 11:29:10 +01:00
img	update theme screenshot	2015-03-05 17:39:15 +01:00
js	some fixes for the recent changes in the personal menu dropdown	2016-11-04 21:29:23 +01:00
php	put theme config into its own namespace	2016-09-01 22:20:08 -07:00
schema	belongs to previous commit	2016-08-03 16:41:36 +02:00
tpl	move schema settings into the display settings main so we can set theme:schema theme selectors in settings	2016-08-15 22:45:07 -07:00