Обрезать ведущий ноль: эффективные методы удаления первого символа «0» в PHP

Эффективные методы удаления начальных и конечных нулей из строки Python

Python strftime: форматирование даты без ведущего 0