Edit File: installed_extensions_.php
<?php /* Do not edit this file manually. This copy of global file is overwritten by extensions editor. */ $installed_extensions = array ( );