mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData
synced 2024-11-23 23:43:54 +00:00
e70251a949
This is all unused, e.g. because it just repeats a default value. All verified by my PHPStorm IDE. Change-Id: I69665e07ca2d04016dc16e93290ef276f6b2cd95 |
||
---|---|---|
.. | ||
api | ||
TemplateDataBlob.php | ||
TemplateDataCompressedBlob.php | ||
TemplateDataHooks.php |