Updated mediawiki/extensions
Project: mediawiki/extensions/Thanks  cb791abf09e065a1fd67a1f5dfc521a4d9b99c12

Fix phpdoc

See https://www.mediawiki.org/wiki/Manual:Hooks/DiffViewHeader

Change-Id: I551c5b5a4f98503dad01c763032c5b1b86daba6f

Remove outdated comment

Preference was removed in 4c88b5973acdbef6ca3085d10647d2b486a330c8.

Change-Id: Ibaa277b5468eda29a0c6b11eeed9c9985ed15580