Update Extension.php

Avoid PHP warning.