Use ExtensionRegistry instead of class name
authorWMDE-Fisch <christoph.jauera@wikimedia.de>
Wed, 14 Aug 2019 17:07:39 +0000 (19:07 +0200)
committerWMDE-Fisch <christoph.jauera@wikimedia.de>
Wed, 14 Aug 2019 17:07:39 +0000 (19:07 +0200)
commite1518660e17f9417c0b94dc821b22a08de6af35c
tree391bbeeb0ae48bbe88b85750cf7ee426e6fec449
parent8f2f5b916b9c5fd0e3dde53b1cc716b0ac3c1c3c
Use ExtensionRegistry instead of class name

Use the ExtensionRegistry instead of checking for the main class
name of the Cite extension. - I'm not entirely sure if this is much
better. A hook would still be the better option. But at least Cite
could be refactored and the class name changed.

Bug: T89151
Change-Id: I35e5aa9955141b575de68a5be2c0d5b87585eb77
includes/search/SearchHighlighter.php