From f22ad61038d5bf10dbe9f2ce0bdf0ef996be72f6 Mon Sep 17 00:00:00 2001
From: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
Date: Wed, 20 Sep 2017 10:05:17 +0200
Subject: [PATCH] lint-ui: Error when label contains a colon

Change-Id: I6c71db450fdd41c83e4b4b3e6dff9719a42ef2d8
Reviewed-on: https://gerrit.libreoffice.org/42520
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Samuel Mehrbrodt <Samuel.Mehrbrodt@cib.de>
---
 bin/lint-ui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/lint-ui.py b/bin/lint-ui.py
index 88fb2cc460a1..34669c85690a 100755
--- a/bin/lint-ui.py
+++ b/bin/lint-ui.py
@@ -86,7 +86,7 @@ def check_title_labels(root):
     for title in titles:
         if title is None:
             continue
-        words = re.split(r'[^a-zA-Z0-9_-]', title.text)
+        words = re.split(r'[^a-zA-Z0-9:_-]', title.text)
         first = True
         for word in words:
             if word[0].islower() and (word not in IGNORED_WORDS or first):