_configurazione.gestione.php

Vai alla documentazione di questo file.

<?php

    // tabella gestita
        $ct['etc']['table'] = '__configurazione__';

    // verifico i privilegi
        if( isset( $_SESSION['privilegi'] ) && in_array( 'EDIT_CONFIGURAZIONE', array_keys( $_SESSION['privilegi'] ) ) ) {

            // nome del file di configurazione
                $f = 'src/config.json';

            // scrivo o leggo il file di configurazione
                if( isset( $_REQUEST[ $ct['etc']['table'] ]['testo'] ) ) {
                    writeToFile( str_replace( "\r\n", "\n", $_REQUEST[ $ct['etc']['table'] ]['testo'] ), $f );
                } else {
                    $_REQUEST[ $ct['etc']['table'] ]['testo'] = readFromFile( $f, READ_FILE_AS_STRING );
                }

        }

?>