From b133f6dae5db4cab49178ea4e1e9267e01e8ad88 Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Fri, 22 Apr 2016 14:23:46 +0200
Subject: [PATCH] Add Pico::VERSION_ID (like PHP_VERSION_ID)

---
 lib/Pico.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/Pico.php b/lib/Pico.php
index eada6de..652570d 100644
--- a/lib/Pico.php
+++ b/lib/Pico.php
@@ -32,6 +32,13 @@ class Pico
      * @var string
      */
     const VERSION = '1.1.0-dev';
+    
+    /**
+     * Pico version ID
+     * 
+     * @var int
+     */
+    const VERSION_ID = 10100;
 
     /**
      * Sort files in alphabetical ascending order