diff options
-rwxr-xr-x | .git-hooks/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.git-hooks/pre-commit b/.git-hooks/pre-commit index e7b647eeef33..dc13d2a06521 100755 --- a/.git-hooks/pre-commit +++ b/.git-hooks/pre-commit @@ -88,6 +88,10 @@ sub check_whitespaces($) { bad_line("use font attributes instead of use-markup", $_, $src_limited); } + if (/<property name="tooltip_markup"/ ) + { + bad_line("use tooltip_text instead of tooltip_markup", $_, $src_limited); + } } } if ( $found_bad) |