How to remove zero before number in PHP?

@dalton_moen you can cast it to integer to remove zero before any number in PHP, code:

1
2
3
4
5
6

<?php

$num = '025';

// Output: 25
echo (int) $num;