wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-26 19:57:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/ooui
History
WMDE-Fisch 713c28e861 Minor PHPdoc fixes 
Change-Id: I037df8d0bd13dd7a8201fd1408bb2f642f9786b6
2017-10-13 13:48:05 +02:00
..
LabelIconWidget.php Minor PHPdoc fixes 2017-10-13 13:48:05 +02:00