Allow to configure some options of the profiler interface#27678

fabpot merged 1 commit intosymfony:mastersymfony/symfony:masterfrom

javiereguiluz:profiler_settingsjaviereguiluz/symfony:profiler_settingsCopy head branch name to clipboard