From d5194154335d6cb30edca9b648083069faf9778c Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Mon, 10 Oct 2016 03:47:49 +0200 Subject: Squashed 'thirdparty/URI.js/' content from commit b77c167 git-subtree-dir: thirdparty/URI.js git-subtree-split: b77c167bc201575956ad409333ff032e504b8044 --- utils/SLDs.php | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 utils/SLDs.php (limited to 'utils/SLDs.php') diff --git a/utils/SLDs.php b/utils/SLDs.php new file mode 100644 index 000000000..3f451e764 --- /dev/null +++ b/utils/SLDs.php @@ -0,0 +1,37 @@ + &$slds) { + $slds = array_unique($slds); + sort($slds); + $slds = join('|', $slds); +} + +echo json_encode($map); \ No newline at end of file -- cgit v1.2.3