mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-13 17:57:21 +00:00
f05131a8ef
This shouldn't happen regularly, since the source should always have a title through a wg* variable in LocalSettings.php but in cases where that is not set up correctly, or is missing for whatever reason, the system should always fall back to displaying the name of the source, if the title doesn't exist. Bug: T164112 Change-Id: I94074adc260a5caf55ca21578fd7071b3323a5e6 |
||
---|---|---|
.. | ||
api | ||
controller | ||
icons | ||
logger | ||
model | ||
nojs | ||
special | ||
styles | ||
ui | ||
echo.mixins.less | ||
echo.variables.less | ||
ext.echo.init.js | ||
ext.echo.moment-hack.js | ||
hooks.txt | ||
mw.echo.js |