<?php

// index.php
// Administration de l'extension : initialisations (tables, fichier de configuration) , information etc. : toutes
// opérations réservées à l'administrateur technique de YesWiki.

if (!defined('TOOLS_MANAGER')) {
    exit('accès direct interdit');
}
