2015-10-24 20:11:24 +02:00
|
|
|
<?php
|
|
|
|
/**
|
2015-10-24 20:21:25 +02:00
|
|
|
* Customize API: WP_Customize_Filter_Setting class
|
2015-10-24 20:11:24 +02:00
|
|
|
*
|
|
|
|
* @package WordPress
|
|
|
|
* @subpackage Customize
|
|
|
|
* @since 4.4.0
|
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* A setting that is used to filter a value, but will not save the results.
|
|
|
|
*
|
|
|
|
* Results should be properly handled using another setting or callback.
|
|
|
|
*
|
|
|
|
* @since 3.4.0
|
|
|
|
*
|
|
|
|
* @see WP_Customize_Setting
|
|
|
|
*/
|
|
|
|
class WP_Customize_Filter_Setting extends WP_Customize_Setting {
|
|
|
|
|
|
|
|
/**
|
2016-02-27 22:17:25 +01:00
|
|
|
* Saves the value of the setting, using the related API.
|
|
|
|
*
|
2015-10-24 20:11:24 +02:00
|
|
|
* @since 3.4.0
|
2016-02-27 22:17:25 +01:00
|
|
|
*
|
|
|
|
* @param mixed $value The value to update.
|
2015-10-24 20:11:24 +02:00
|
|
|
*/
|
|
|
|
public function update( $value ) {}
|
|
|
|
}
|