[OptionsResolver] Document setDeprecated method#9859

Merged

javiereguiluz merged 1 commit intosymfony:masterfrom

yceruto:options_resolver_set_deprecated

Jun 20, 2018

Commits on May 31, 2018

Document setDeprecated method from OptionsResolver component
yceruto
committed