<?php
   class Redux_Customizer_Control_color_rgba extends Redux_Customizer_Control {
     public $type = "redux-color_rgba";
   }