Add missing RuntimeExtensionInterface#10025

tjamps wants to merge 3 commits intosymfony:4.1symfony/symfony-docs:4.1from

tjamps:patch-1tjamps/symfony-docs:patch-1Copy head branch name to clipboard