mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
34d9ecf876
And also actually run the script. Change-Id: I60cd1b745bf3b399b6709c2a3036fff590401e35 |
||
---|---|---|
.. | ||
gen-autoload.php | ||
generatecss.php | ||
remotecheck.sh |