| Línea 1... |
Línea 1... |
| 1 |
<?php
|
1 |
<?php
|
| Línea 2... |
Línea 2... |
| 2 |
|
2 |
|
| Línea -... |
Línea 3... |
| - |
|
3 |
// * Miscellaneous settings
|
| 3 |
// * Miscellaneous settings
|
4 |
|
| Línea 4... |
Línea -... |
| 4 |
|
- |
|
| 5 |
if ($hassiteconfig) { // speedup for non-admins, add all caps used on this page
|
5 |
// Experimental settings page.
|
| Línea 6... |
Línea 6... |
| 6 |
|
6 |
$ADMIN->add('development', new admin_category('experimental', new lang_string('experimental', 'admin')));
|
| 7 |
// Experimental settings page
|
7 |
|
| 8 |
$ADMIN->add('development', new admin_category('experimental', new lang_string('experimental','admin')));
|
8 |
if ($hassiteconfig) { // Speedup for non-admins, add all caps used on this page.
|
| Línea 107... |
Línea 107... |
| 107 |
new lang_string('profilingimportprefix_desc', 'admin'), '(I)', PARAM_TAG, 10));
|
107 |
new lang_string('profilingimportprefix_desc', 'admin'), '(I)', PARAM_TAG, 10));
|
| Línea 108... |
Línea 108... |
| 108 |
|
108 |
|
| 109 |
// Add the 'profiling' page to admin block.
|
109 |
// Add the 'profiling' page to admin block.
|
| Línea -... |
Línea 110... |
| - |
|
110 |
$ADMIN->add('development', $temp);
|
| - |
|
111 |
|
| - |
|
112 |
$ADMIN->add(
|
| - |
|
113 |
parentname: 'development',
|
| - |
|
114 |
something: new admin_externalpage(
|
| - |
|
115 |
name: 'swaggerui',
|
| - |
|
116 |
visiblename: new lang_string('swaggerui', 'admin'),
|
| - |
|
117 |
url: "$CFG->wwwroot/admin/swaggerui.php",
|
| - |
|
118 |
),
|
| 110 |
$ADMIN->add('development', $temp);
|
119 |
);
|
| 111 |
|
120 |
|
| Línea 112... |
Línea 121... |
| 112 |
// Web service test clients DO NOT COMMIT : THE EXTERNAL WEB PAGE IS NOT AN ADMIN PAGE !!!!!
|
121 |
// Web service test clients DO NOT COMMIT : THE EXTERNAL WEB PAGE IS NOT AN ADMIN PAGE !!!!!
|
| 113 |
$ADMIN->add('development', new admin_externalpage('testclient', new lang_string('testclient', 'webservice'), "$CFG->wwwroot/$CFG->admin/webservice/testclient.php"));
|
122 |
$ADMIN->add('development', new admin_externalpage('testclient', new lang_string('testclient', 'webservice'), "$CFG->wwwroot/$CFG->admin/webservice/testclient.php"));
|