I have a PHP page with an int that can be from 1-4 

I want to output that number of stars. Is there anything shorter than writing a for loop to do that? 

Something with a syntax like `<?= print($num,"*") ?>`