mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-27 17:20:40 +00:00
a7cf20d9fe
Clearly broken, as it tries to include a non-existing Resources.php file.
Also it's pretending to be MediaWiki 1.23, which is plenty old.
It was supposed to be run via the Makefile, but that's been broken since at
least
|
||
---|---|---|
.. | ||
gen-autoload.php | ||
remotecheck.sh |