Merge remote branch 'phpmyadmin/master'
[phpmyadmin/ammaryasirr.git] / db_triggers.php
blob4911f36b035d4f0952237fce72b6d0df0508c776
1 <?php
2 /* vim: set expandtab sw=4 ts=4 sts=4: */
3 /**
4 * Triggers management.
6 * @package phpMyAdmin
7 */
9 /**
10 * Include required files
12 require_once './libraries/common.inc.php';
13 require_once './libraries/common.lib.php';
15 /**
16 * Include JavaScript libraries
18 $GLOBALS['js_include'][] = 'jquery/jquery-ui-1.8.custom.js';
19 $GLOBALS['js_include'][] = 'rte/common.js';
20 $GLOBALS['js_include'][] = 'rte/triggers.js';
21 $GLOBALS['js_include'][] = 'codemirror/lib/codemirror.js';
22 $GLOBALS['js_include'][] = 'codemirror/mode/mysql/mysql.js';
24 /**
25 * Include all other files
27 require_once './libraries/rte/rte_triggers.lib.php';
29 /**
30 * Do the magic
32 $_PMA_RTE = 'TRI';
33 require_once './libraries/rte/rte_main.inc.php';