<?php

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

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