extension_get.inc.php

Go to the documentation of this file.
00001 <?php
00002 require_once('class_database.php');
00003 require_once('class_dossier.php');
00004 require_once("ac_common.php");
00005 require_once("constant.php");
00006 require_once('function_javascript.php');
00007 require_once('class_extension.php');
00008 require_once ('class_html_input.php');
00009 require_once('class_iselect.php');
00010 require_once ('constant.security.php');
00011 require_once ('class_user.php');
00012 
00013 /**
00014  * included from do.php + extension_choice.inc.php
00015  */
00016 
00017 // find file and check security
00018 global $cn,$g_user;
00019 
00020 $ext=new Extension($cn);
00021 
00022 if ($ext->search($_REQUEST['plugin_code']) == -1)
00023         {
00024                 echo_warning("plugin non trouvé");
00025                 exit();
00026 }
00027 if ($ext->can_request($g_user->login)==-1)
00028 {
00029         alert("Plugin non authorisé");
00030         exit();
00031 }
00032 if ( ! file_exists('../include/ext'.DIRECTORY_SEPARATOR.trim($ext->me_file)))
00033         {
00034                 alert(j(_("Ce fichier n'existe pas ")));
00035                 exit();
00036         }
00037 echo '<div class="content">';
00038 require_once('ext'.DIRECTORY_SEPARATOR.trim($ext->me_file));
00039 
00040 
00041 ?>