PHP7 compatibility

I have installed PHP 7.0. When I run the PHP compatibility checker plugin, it complains about wp-content/plugins/countdown-timer/index.php beeing empty. While this is a trivial problem, it can be easily resolved by inserting an empty PHP statement into that file:

//Silence is Golden, Colorado
<?php
?>