Kunal Mehta a7cf20d9fe Remove obsolete scripts/generatecss.php ... 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 111b671444. If this functionality of identifying duplicate CSS rules is still wanted, I'm sure there's a better way to do it than with a hacky PHP script and a ruby tool. Mainly removed since it's causing a phan-taint-check-plugin warning (T202383). Change-Id: Id1d117f41f93adec4bba7191843aa415c4049d5f		2018-09-09 17:07:26 -07:00
..
gen-autoload.php	Follow-up 2dfb4511e9: call parent constructor in gen-autoload.php	2017-06-26 11:03:04 -07:00
remotecheck.sh	Directory reshuffle, add dev tools	2014-08-01 22:38:41 +00:00