Update extensions.php

A little dot fix.