wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/ooui
History
Umherirrender 79b2611bbc Use local vars in LabelIconWidget 
Change-Id: I037b02c7336d68f520e028a16df0edd0237458d8
2019-02-23 21:26:35 +01:00
..
LabelIconWidget.php Use local vars in LabelIconWidget 2019-02-23 21:26:35 +01:00