Update Extension.php

Fixes #1326