wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 02:46:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/scripts
History
Roan Kattouw 34d9ecf876 Follow-up 2dfb4511e9: call parent constructor in gen-autoload.php 
And also actually run the script.

Change-Id: I60cd1b745bf3b399b6709c2a3036fff590401e35
2017-06-26 11:03:04 -07:00
..
gen-autoload.php Follow-up 2dfb4511e9: call parent constructor in gen-autoload.php 2017-06-26 11:03:04 -07:00
generatecss.php build: Update mediawiki/mediawiki-codesniffer to 0.7.1 2016-12-05 15:54:30 -08:00
remotecheck.sh Directory reshuffle, add dev tools 2014-08-01 22:38:41 +00:00