90 * Key for the name of the additional stylesheet used by a module. |
90 * Key for the name of the additional stylesheet used by a module. |
91 */ |
91 */ |
92 const val REQ_ATTR_STYLESHEET = "extraCss" |
92 const val REQ_ATTR_STYLESHEET = "extraCss" |
93 |
93 |
94 /** |
94 /** |
|
95 * Key for the name of the optional java script file. |
|
96 */ |
|
97 const val REQ_ATTR_JAVASCRIPT = "javascriptFile" |
|
98 |
|
99 /** |
95 * Key for a location the page shall redirect to. |
100 * Key for a location the page shall redirect to. |
96 * Will be used in a meta element. |
101 * Will be used in a meta element. |
97 */ |
102 */ |
98 const val REQ_ATTR_REDIRECT_LOCATION = "redirectLocation" |
103 const val REQ_ATTR_REDIRECT_LOCATION = "redirectLocation" |
99 |
104 |