Commit b9828fd3 authored by Dianne Tennent's avatar Dianne Tennent
Browse files

Bug 1952986: Add 'Emdedded URLs' to the developer menu 

Related to bug #1856824 where we introduced a URL
conversion tool that was a hidden page. Now added
to the admin menu under 'Development',
called 'Embedded URLs', and placed below 'Style guide'
in alphabetical order.

Change-Id: I1692de5e29afdc1167a367369bd0ffefff5511c9
parent c3d7829c

htdocs/admin/extensions/embeddedurls.php

+1 −1
Original line number Diff line number Diff line
@@ -14,7 +14,7 @@ define('ADMIN', 1); 
define('MENUITEM', 'configextensions/embddedurls');



require(dirname(dirname(dirname(__FILE__))) . '/init.php');

define('TITLE', get_string('embeddedurls', 'admin'));

define('TITLE', get_string('embeddedurlstitle', 'admin'));



$checkurlraw = param_variable('checkurl', null);

htdocs/lang/en.utf8/admin.php

+2 −1
Original line number Diff line number Diff line
@@ -85,6 +85,7 @@ $string['managegroups'] = 'Manage groups'; 
$string['Extensions']   = 'Extensions';

$string['configextensions']   = 'Administer extensions';

$string['manageinstitutions'] = 'Manage institutions';

$string['embeddedurls'] = 'Embedded URLs';



// Admin homepage strings

$string['siteoptions']    = 'Site options';
@@ -220,7 +221,7 @@ $string['generatedviewurls'] = array( 
);

$string['cleanurlsdescriptionshort'] = 'Configure site to use human-readable URLs';



$string['embeddedurls'] = 'Update embedded URLs';

$string['embeddedurlstitle'] = 'Update embedded URLs';

$string['embeddedurlsdescription'] = '<p>If you change your URL, the existing links within embedded content on the site will point to the wrong place.</p><p>You can fix them up here by specifying the old URL domain.</p>';

$string['nopotentialembeddedurls'] = '<p>There are no potential old URLs detected.</p>';

$string['potentialembeddedurls'] = '<p>The following sections look to have old URLs.</p>';

htdocs/lib/web.php

+6 −0
Original line number Diff line number Diff line
@@ -2605,6 +2605,12 @@ function admin_nav() { 
            'title'  => get_string('styleguide', 'admin'),

            'weight' => 30,

        ),

        'development/updateurls' => array(

            'path'   => 'development/updateurls',

            'url'    => 'admin/extensions/embeddedurls.php',

            'title'  => get_string('embeddedurls', 'admin'),

            'weight' => 40,

        ),

    );



    // Add the menu items for skins, if that feature is enabled