wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-12-02 18:06:24 +00:00

Commit graph

Author	SHA1	Message	Date
Derk-Jan Hartman	45e3085a59	Remove GeSHi from class and filenames Remove the GeSHi name from filenames and classes where possible. We no longer actually use GeSHi, and though we cannot rename the extension or repo atm, we can rename these. Bug: T164939 Change-Id: I02bc3304d88103c5302f203e788fc73ff20e1050	2017-05-20 14:47:23 +00:00

Author

SHA1

Message

Date

Derk-Jan Hartman

45e3085a59

Remove GeSHi from class and filenames

Remove the GeSHi name from filenames and classes where possible. We no
longer actually use GeSHi, and though we cannot rename the extension or
repo atm, we can rename these.

Bug: T164939
Change-Id: I02bc3304d88103c5302f203e788fc73ff20e1050

2017-05-20 14:47:23 +00:00

1 commit