Go to the documentation of this file.00001 <?php
00002
00003
00004
00005 if ( ! defined ('ALLOWED') ) die('Appel direct ne sont pas permis');
00006 require_once('class_database.php');
00007 require_once('class_dossier.php');
00008 require_once("ac_common.php");
00009 require_once("constant.php");
00010 require_once('function_javascript.php');
00011 require_once('class_extension.php');
00012 require_once ('class_html_input.php');
00013 require_once('class_iselect.php');
00014 require_once ('constant.security.php');
00015 require_once ('class_user.php');
00016 echo '<div class="topmenu">';
00017 @html_page_start($_SESSION['g_theme']);
00018
00019 $cn=new Database(dossier::id());
00020 global $g_user;
00021 $g_user=new User($cn);
00022 $g_user->check();
00023 $only_plugin=$g_user->check_dossier(dossier::id());
00024
00025
00026
00027 echo load_all_script();
00028
00029
00030 $a=new ISelect('plugin_code');
00031 $a->value=Extension::make_array($cn);
00032 $a->selected=(isset($_REQUEST['plugin_code']))?strtoupper($_REQUEST['plugin_code']):'';
00033
00034
00035 if ( count($a->value) == 0 )
00036 {
00037 alert(j(_("Aucune extension disponible")));
00038 exit;
00039 }
00040
00041
00042 if ( count($a->value)==1 )
00043 {
00044 $_REQUEST['plugin_code']=$a->value[0]['value'];
00045 }
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059 ?>