wikimedia/mediawiki-extensions-TextExtracts
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TextExtracts synced 2024-11-15 03:35:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Switch to librarized HtmlFormatter

Browse source 
Bug: T125001
Change-Id: Iac73553ac4b03e75ef321c6a659ece1ac155260b
This commit is contained in:
Max Semenik 2016-04-12 21:23:01 -07:00
parent 647c39734a
commit 9bc33683a0
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/ExtractFormatter.php
View file

@ -1,8 +1,9 @@
<?php
namespace TextExtracts;
use Config;
use HtmlFormatter;
use HtmlFormatter\HtmlFormatter;
use Exception;
/**