MantisBT-Discord – Rev 2
?pathlinks?
<?php
/**
* Discord Integration
* Copyright (C) 2014 Karim Ratib (karim.ratib@gmail.com)
*
* Discord Integration is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License 2
* as published by the Free Software Foundation.
*
* Discord Integration is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Discord Integration; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
* or see http://www.gnu.org/licenses/.
*/
form_security_validate( 'plugin_Discord_config_edit' );
auth_reauthenticate( );
access_ensure_global_level( config_get( 'manage_plugin_threshold' ) );
$f_url_webhook = gpc_get_string( 'url_webhook' );
#$f_bot_name = gpc_get_string( 'bot_name' );
#$f_bot_icon = gpc_get_string( 'bot_icon' );
$f_skip_bulk = gpc_get_bool( 'skip_bulk' );
$f_link_names = gpc_get_bool( 'link_names' );
#$f_default_channel = gpc_get_string( 'default_channel' );
$f_language = gpc_get_string( 'language' );
if( plugin_config_get( 'url_webhook' ) != $f_url_webhook ) {
plugin_config_set( 'url_webhook', $f_url_webhook );
}
#if( plugin_config_get( 'bot_name' ) != $f_bot_name ) {
# plugin_config_set( 'bot_name', $f_bot_name );
#}
#if( plugin_config_get( 'bot_icon' ) != $f_bot_icon ) {
# plugin_config_set( 'bot_icon', $f_bot_icon );
#}
if( plugin_config_get( 'skip_bulk' ) != $f_skip_bulk ) {
plugin_config_set( 'skip_bulk', $f_skip_bulk );
}
if( plugin_config_get( 'link_names' ) != $f_link_names ) {
plugin_config_set( 'link_names', $f_link_names );
}
#if( plugin_config_get( 'default_channel' ) != $f_default_channel ) {
# plugin_config_set( 'default_channel', $f_default_channel );
#}
if( plugin_config_get( 'language' ) != $f_language ) {
plugin_config_set( 'language', $f_language );
}
form_security_purge( 'plugin_Discord_config_edit' );
print_successful_redirect( plugin_page( 'config', true ) );