index.php
changeset 50 ed18c8317cff
parent 47 ae140472d97c
child 71 e1b918eaf69a
equal deleted inserted replaced
49:58911245e817 50:ed18c8317cff
    18  *  You should have received a copy of the GNU General Public License
    18  *  You should have received a copy of the GNU General Public License
    19  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
    19  *  along with this program.  If not, see <http://www.gnu.org/licenses/>.
    20  */
    20  */
    21 
    21 
    22 session_start();
    22 session_start();
    23 require_once("inc/i18n.inc.php");
       
    24 require_once("inc/toolkit.inc.php");
    23 require_once("inc/toolkit.inc.php");
    25 include_once("inc/header.inc.php");
    24 include_once("inc/header.inc.php");
    26 ?>
    25 ?>
    27    <h3><? echo _('Welcome'); ?>, <? echo $_SESSION["name"] ?></h3>
    26    <h3><? echo _('Welcome'); ?>, <? echo $_SESSION["name"] ?></h3>
    28    <ul>
    27    <ul>