diff --git a/docs/_static/images/icon-lang-php.svg b/docs/_static/images/icon-lang-php.svg new file mode 100644 index 000000000000..8700fd8be354 --- /dev/null +++ b/docs/_static/images/icon-lang-php.svg @@ -0,0 +1,47 @@ + + + + + + + + + + \ No newline at end of file diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html index 69402f03bcb6..d4027072796d 100644 --- a/docs/_templates/layout.html +++ b/docs/_templates/layout.html @@ -66,6 +66,12 @@

{%- if show_source and has_source and pagename %}