Page MenuHomePhabricator

Add some file types to `pygments.dropdown-choices`.
ClosedPublic

Authored by joshuaspence on May 28 2014, 1:25 PM.
Tags
None
Referenced Files
F18752756: D9319.diff
Sat, Oct 4, 4:18 PM
F18711730: D9319.diff
Mon, Sep 29, 4:51 AM
F18703729: D9319.id22113.diff
Sun, Sep 28, 4:57 AM
F18703013: D9319.id22114.diff
Sun, Sep 28, 2:38 AM
F18629341: D9319.diff
Tue, Sep 16, 8:33 AM
F18423449: D9319.id.diff
Aug 30 2025, 7:41 PM
F18399019: D9319.diff
Aug 29 2025, 3:54 PM
F17922612: D9319.id.diff
Jul 30 2025, 7:02 AM
Subscribers

Details

Reviewers
epriestley
Group Reviewers
Blessed Reviewers
Commits
Restricted Diffusion Commit
rP1855e6675868: Add some file types to `pygments.dropdown-choices`.
Summary

I could just add these options to my local configuration, but I figured I'd submit these upstream since they are (in my opinion) fairly common file formats.

Test Plan

N/A

Diff Detail

Repository
rP Phabricator
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

joshuaspence retitled this revision from to Add some file types to `pygments.dropdown-choices`..
joshuaspence updated this object.
joshuaspence edited the test plan for this revision. (Show Details)
joshuaspence added a reviewer: epriestley.
epriestley edited edge metadata.
This revision is now accepted and ready to land.May 28 2014, 1:25 PM
epriestley updated this revision to Diff 22114.

Closed by commit rP1855e6675868 (authored by @joshuaspence, committed by @epriestley).