This reverts commit 0d8ae877d3.
0d8ae877d3
@ -1,9 +0,0 @@
<?php
/**
* just to force travis to check current PR
* will revert later
*/
function tra() {
echo 'vis';
}