I always assumed it was in /wp-admin/widgets.php
Samboll, thanks for your rapid reply. I would have thought so too, but within that file I am unable to find the line in which it is added. I’m sorry to trouble you further, but if you do know where it is, I’d be grateful if you could point this out to me.
I’ve been looking for something along the lines of what I see in menu.php, e.g.
$submenu['themes.php'][5] = array(__('Themes'), 'switch_themes', 'themes.php');
on like line 23 of widgets.php
$title = __( 'Widgets' );
$parent_file = 'themes.php';
is that what you are looking for?
Yep, I’m sorry I should have mentioned that I had already found that line and changed it to my desired value:
$title = __( ‘Navigation’ );
The effect which this had was to change the page heading title on the Widgets management page. The “Widgets” entry on the administration navigation panel (under the “Appearance” section) remains unchanged…
I temporarily suspected a bizarre caching isssue but I have confirmed that this is not the case.
It’s a little confusing. Does changing this lines value for you have the desired effect?
Thanks for your continued help on this.
no – it does what you mention
hmmm…I’ll have a look around
I’m yet to find a solution to this; if anyone has any ideas I’d be really grateful for your help.
Have you found a solution to this? And if so, does it survive WP upgrades?