Adding PHPDoc comments for extension.inc