From 3c1eb193bc086796fd15a9c68fa7a7f132cf1126 Mon Sep 17 00:00:00 2001
From: squidfunk <martin.donath@squidfunk.com>
Date: Wed, 22 Mar 2017 22:06:46 +0100
Subject: [PATCH] Added new placeholders to documentation [ci skip]

---
 docs/getting-started.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/getting-started.md b/docs/getting-started.md
index e48077c01..b03bb4bd2 100644
--- a/docs/getting-started.md
+++ b/docs/getting-started.md
@@ -368,6 +368,10 @@ macro `t`:
   "meta.comments": "Comments",
   "meta.source": "Source",
   "search.placeholder": "Search",
+  "search.result.placeholder": "Type to start searching",
+  "search.result.none": "No matching documents",
+  "search.result.one": "1 matching document",
+  "search.result.other": "# matching documents",
   "source.link.title": "Go to repository",
   "toc.title": "Table of contents"
 }[key] }}{% endmacro %}