function FILTER_HANDLE_THEME_CHANGE ($filterData) {
// Check if new theme is selcted
//* DEBUG: */ logDebugMessage(__FUNCTION__, __LINE__, 'Called!');
- if ((isPostRequestParameterSet('new_theme')) && (postRequestParameter('new_theme') != getCurrentTheme())) {
+ if ((isPostRequestElementSet('new_theme')) && (postRequestElement('new_theme') != getCurrentTheme())) {
// Set new theme for guests
- $newTheme = postRequestParameter('new_theme');
+ $newTheme = postRequestElement('new_theme');
// Change to new theme
setTheme($newTheme);