[devdocsgjs/main: 821/1867] Add pony (#952)

[Andy Holmes <andyholmes src gnome org>]

commit 34dc2215000b9b8eff58becd1241d5d5180db842
Merge: e760db26 eb82f602
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Wed Aug 14 02:32:34 2019 +0200

    Add pony (#952)
    
    Add pony
    
    Co-authored-by: Jed Fox <git twopointzero us>

 .../javascripts/templates/pages/about_tmpl.coffee  |   6 ++++
 lib/docs/filters/pony/clean_html.rb                |  15 +++++++++
 lib/docs/filters/pony/entries.rb                   |  35 +++++++++++++++++++++
 lib/docs/scrapers/pony.rb                          |  27 ++++++++++++++++
 public/icons/docs/pony/16.png                      | Bin 0 -> 1360 bytes
 public/icons/docs/pony/16 2x png                   | Bin 0 -> 1979 bytes
 public/icons/docs/pony/SOURCE                      |   1 +
 7 files changed, 84 insertions(+)
---