Ошибка PHP: A non-numeric value encountered in

На одном из сайтов, после перехода на PHP 7.1 появилась ошибка:
Warning: A non-numeric value encountered in %s on line %d

Сегодня дошли наконец то руки до этой ошибки! В общим в тексте ошибки была указана строка:
			self::$prune_timestamp -= ($this->config['board_timezone'] * 3600);

На официальном сайте PHP говориться: http://php.net/manua ... her-changes.php
Новые ошибки уровней E_WARNING и E_NOTICE были добавлены при использовании некорректных строк с операторами, ожидающими числа (+ - * / ** % << >> | & ^) и их эквивалентами с присваиванием. Ошибка уровня E_NOTICE выдается, когда строка начинается с цифр, но далее содержит не цифровые символы, и ошибка уровня E_WARNING выдается тогда, когда строка вообще не содержит цифр.

Я решил эту ошибку, добавив перед $this->config['board_timezone'] - (int), получилось так:
			self::$prune_timestamp -= ((int) $this->config['board_timezone'] * 3600);

После чего ошибка исчезла.