Install selected theme during settings persistence.
authorAndreas Neustifter <andreas.neustifter@kapsch.net>
Fri, 27 Apr 2018 18:45:34 +0000 (20:45 +0200)
committerAndreas Neustifter <andreas.neustifter@kapsch.net>
Fri, 27 Apr 2018 18:45:34 +0000 (20:45 +0200)
commit846f8becae02aad9d3b544f9bfd38fc336e86650
treeeed25e8bd724f178ed7b6bba81c8c5603e738326
parenta19784d209935d77b1ed50dbfbca0487696c1b40
Install selected theme during settings persistence.

Themes have to be installed to be usable by the system. This is not done
automatically which lead to the problems with the site when themes where
switched right after the install and before the "Reload themes" button
was pressed in the admin page.

This patch makes sure that the selected them is always installed when
it is selected by the user either in the admin or settings page.

Fixes #4921.
mod/admin.php
mod/settings.php