diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2017-08-11 16:22:42 +0200 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2017-08-11 16:22:42 +0200 |
commit | 43e8cd0579b8c6c67add6f12af9ded460c47e6e2 (patch) | |
tree | d6df8136f3c7538a0a7d9f26a729e05f7dfb30e8 /includes/diff/DiffFormatter.php | |
parent | 4112201ef517998de9b29887c306b6c43e6376d3 (diff) | |
download | mediawikicore-43e8cd0579b8c6c67add6f12af9ded460c47e6e2.tar.gz mediawikicore-43e8cd0579b8c6c67add6f12af9ded460c47e6e2.zip |
Make phpcs pass
Reenable MediaWiki.WhiteSpace.SpaceBeforeClassBrace.NoSpaceBeforeBrace,
because the mentioned bug is fixed
Bug: T172933
Change-Id: I1593bdba2295ebed401b921f2beabed69dba7638
Diffstat (limited to 'includes/diff/DiffFormatter.php')
0 files changed, 0 insertions, 0 deletions