Change Details

- Ran `save_lint.php` to check for collateral damage; it worked fine. - Ran `save_lint.php` on a new branch to check creation. - Published some fake coverage information. - Viewed an affected commit. - Viewed an affected file. {F151915} {F151916}