Mario 2a60f1cc6e merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00

..

choklet.php

deprecate $a->get_baseurl()

2016-03-30 22:13:24 -07:00

default.php

merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00

full.php

merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00

minimal.php

merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00

mod_setup.php

some love for the installer

2017-07-17 16:19:19 +02:00

none.php

merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00

redable.php

deprecate $a->get_baseurl()

2016-03-30 22:13:24 -07:00

theme_init.php

Apps drag and drop feature

2021-08-03 07:12:35 +00:00

zen.php

merge branch pdledit_gui into dev - many widgets still miss their description and requirements (this is work in progress)

2022-02-20 20:18:24 +00:00