diff options
| author | Tim Starling <tstarling@users.mediawiki.org> | 2011-04-04 12:27:52 +0000 |
|---|---|---|
| committer | Tim Starling <tstarling@users.mediawiki.org> | 2011-04-04 12:27:52 +0000 |
| commit | 2e43da7c6b555cb0adb6592f49fa56fc5e739f25 (patch) | |
| tree | 73788438d4ed24c843c9521b7322245bf5b2f5a3 /includes/WebStart.php | |
| parent | 32dca322af0a29715e6da1022a92555d4f0832db (diff) | |
| download | mediawikicore-2e43da7c6b555cb0adb6592f49fa56fc5e739f25.tar.gz mediawikicore-2e43da7c6b555cb0adb6592f49fa56fc5e739f25.zip | |
* Change --config to -c, the long form is broken in HEAD
* "hphp --version" gives two lines when run on a git tree, make it into one.
* Use make -j
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/85326
Diffstat (limited to 'includes/WebStart.php')
0 files changed, 0 insertions, 0 deletions