Diff: PhpHighlightPlugin

Differences between current version and revision by previous author of PhpHighlightPlugin.

Other diffs: Previous Major Revision, Previous Revision