Update git submodules
authorPeter Boehm <boehm@hallowelt.com>
Thu, 24 Jan 2019 12:44:53 +0000 (13:44 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Feb 2019 02:09:23 +0000 (02:09 +0000)
* Update extensions/CategoryTree from branch 'REL1_31'
  to a1717183d7a263ad2a109a1891ac430f1e604c02
  - Change 'title' attributes to links to use full page name

    This changes the title attribute on the link generated in the
    CategoryTree. The only effect is additional information about the
    link target that may be truncated by 'hideprefix' or CSS overflow,
    will now still be accessible in another way.

    Change-Id: I4f07fa88f0a528634e9bf3c504e84fb4bf55e3bf
    (cherry picked from commit 1dfe6ca618afd5b85631417c10772591de02043a)

extensions/CategoryTree

index fec55f2..a171718 160000 (submodule)
@@ -1 +1 @@
-Subproject commit fec55f2994c3e8021d0329e45aed510a0062c168
+Subproject commit a1717183d7a263ad2a109a1891ac430f1e604c02