Page MenuHomePhabricator

Fix spaced cast operators (remove spaces)
Closed, ResolvedPublic

Description

Most cast operators (1,128 to be precise) in the MediaWiki codebase do not have a space after them, but some do (18). These few should be changed to the more common style. This is also what the Coding conventions say: "When type casting, do not use a space within or after the cast operator".

T149544 adds the relevant sniffs to the MediaWiki coding standards.

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 31 2016, 4:47 AM

Change 318882 had a related patch set uploaded (by Samwilson):
Remove spaces after cast operators

https://gerrit.wikimedia.org/r/318882

Umherirrender closed this task as Resolved.Oct 31 2016, 2:00 PM
Umherirrender assigned this task to Samwilson.

Change 318882 merged by jenkins-bot:
Remove spaces after cast operators

https://gerrit.wikimedia.org/r/318882