The Superior Court of the District of Columbia, in term time or in vacation, may, upon a petition of the District of Columbia, filed by its Mayor, issue an injunction to restrain the use or occupation of any building in the District of Columbia in violation of any of the provisions of this part.