Special:Version: Treat AUTHORS.txt and CREDITS.txt as text, not wikitext
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 3 Mar 2014 17:53:55 +0000 (12:53 -0500)
committerAnomie <bjorsch@wikimedia.org>
Mon, 3 Mar 2014 18:01:34 +0000 (18:01 +0000)
commit0fd843a09c299d85d0f2c47013f8dbc41b7503a8
treebc7a849e6c090241b88ed893711a26a5a11fbc53
parent58884580ebf1deac384ba6511ffa6668f3e23aff
Special:Version: Treat AUTHORS.txt and CREDITS.txt as text, not wikitext

A review of existing extensions in git reveals that 3 of the 5
extensions that have a non-wikitext authors/credits file have this file
named AUTHORS.txt, while none of the 8 that have wikitext
authors/credits have a .txt extension. So let's fix the 2 that have
non-wikitext as "AUTHORS" and do this for the benefit of the other three
that presumably don't want to use wikitext in authors/credits.

Bug: 62153
Change-Id: Id95852ab9836fb284becd7e251374f672b69515f
includes/specials/SpecialVersion.php