Lists

We define a lot of stuff, like menues, as lists or arrays in php. Those lists we gather in a separade library raditex-lists.php.

source-highlight -n --input=raditex-lists.php --output=src/raditex-lists.php.html
01: <?php
02: //----------------------------------------------------------------------
03: //  Copyright: Raditex Control AB 2016, Göran Hasse gorhas@raditex.nu
04: //
05: //----------------------------------------------------------------------
06: 
07: // The drop down meny, or "site menu"
08: // This is the topmost menu 
09: $site_menu = array( "Home" => "index.php",
10: 
11:                     "Site Links" => array( "This site" => "index.php",
12:                                            "Raditex Control AB" => "http://www.raditex.nu/",
13:                                            "rSCADA" => "http://www.rscada.se"),
14:                     
15:                     "Contacts" => "http://raditex.nu/raditex-contact.php",
16:                     
17:                     "Demo" => array("Simple graph" => "plott.php",
18:                                     "Widgets"=> "calendar-week.php"));
19: 
20: //----------------------------------------------------------------------
21: // It is easy to have different menus on different pages by
22: // just use different arrays
23: 
24: // Menus for another  page
25: $framework_menu = array("Home" => "index.php",
26:                         "PHP library" => "php-library.php",
27:                         "CSS stylesheet" => "css-stylesheet.php",
28:                         "Javascript lib" => "java-script-lib.php",
29:                         "Lists" => "lists.php",
30:                         "Template" => "template.php",
31:                         "DB lists" => "db-lists.php",
32:                         "DB forms" => "db-forms.php",
33:                         "Info boxes" => "info-box.php",
34:                         "Simple graph" => "plott.php",
35:                         "Web-sockets" => "web-sockets.php",
36:                         "Download" => "download.php");
37: 
38: $framework_widgets_menu = array("Home" => "index.php",
39:                         "Week calendar" => "calendar-week.php",
40:                         "Download" => "download.php");
41: 
42: 
43: //----------------------------------------------------------------------
44: // Fixed lists for option boxes
45: //----------------------------------------------------------------------
46: 
47: //----------------------------------------------------------------------
48: // Role
49: $role = array("8e98dbb8-685e-11e5-9c3d-3bfef9d230f5" => "ADMINISTRATOR",
50:               "97323a30-685e-11e5-89b6-03b364359544" => "DEVELOPER",
51:               "9cff2f90-685e-11e5-a987-3318455de30b" => "USER",
52:               "a7ea86f2-685e-11e5-9ea2-2bd47dff9992" => "GUEST");
53: 
54: //----------------------------------------------------------------------
55: // EOF
56: //----------------------------------------------------------------------
57: ?>
58: