wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-27 16:30:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Document some generated messages

Browse source 
Change-Id: Id9c961f322c2f3730f29345da9ba61196243df5a
This commit is contained in:
Ed Sanders 2023-11-08 12:07:29 +00:00
parent ada0820622
commit e7d3dec076
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/ResourceLoader/CitationToolDefinition.php
View file

@ -36,6 +36,11 @@ class CitationToolDefinition {
if ( is_array( $citationDefinition ) ) {
foreach ( $citationDefinition as $tool ) {
if ( !isset( $tool->title ) ) {
// The following messages are generated here:
// * visualeditor-cite-tool-name-book
// * visualeditor-cite-tool-name-journal
// * visualeditor-cite-tool-name-news
// * visualeditor-cite-tool-name-web
$tool->title = $context->msg( 'visualeditor-cite-tool-name-' . $tool->name )
->text();
}