mediawiki-core-lint: Use phplint macro instead of repeating ant builder call

Also renamed php-lint to phplint for consistency.

Change-Id: Ic0d54a472cb98639f61d19d2e28377ae192e6ce6