LQ80

Creating PDF thumbnails in PHP

Install Ghostscript

Download and install right version of ghostscript. In my case my PHP was x86 architecture, so I download Ghostscript 9.14 for Windows (32 bit).

Enable ImageMagick

Click in the open space to add a node, drag from one node to another to add an edge.
Ctrl-drag a node to move the graph layout.
Click a node or an edge to select it.

When a node is selected: R toggles reflexivity, Delete removes the node.
When an edge is selected: L(eft), R(ight), B(oth) change direction, Delete removes the edge.

To see this example as part of a larger project, check out Modal Logic Playground!

	<script type="text/javascript">
	function idleTimer() {
	var t;
	//window.onload = resetTimer;
	window.onmousemove = resetTimer; // catches mouse movements
	window.onmousedown = resetTimer; // catches mouse movements
	window.onclick = resetTimer; // catches mouse clicks
	window.onscroll = resetTimer; // catches scrolling
	window.onkeypress = resetTimer; //catches keyboard actions

	<?php
	/*
	*
	* Use the examples below to add your own servers. Coded by clone1018 [?]
	*
	*/
	$title = "Simple Server Status"; // website's title
	$servers = array(

	'Google Web Search' => array(

	<!--
	* GOOGLE MAP W/ MULTIPLE MARKERS AND OPTIONAL GEOCODING
	* by Boots (www.boots.media)
	* Working demo here: https://codepen.io/bootsified/details/XWbgwNr
	*
	* To use geocoding for locations, set `useGeocoding = true;` (limit 10 locations).
	* To manually place markers by lat/lng, set `useGeocoding = false;` (no limit). Locations array must contain lat/lng data.
	-->

	<script src="https://maps.googleapis.com/maps/api/js?key=[YOUR_APP_KEY_GOES_HERE]"></script>

	#!/usr/bin/env python
	#
	# Scripts download oui.txt from web and load data to PostgreSQL database.
	#
	# Dariusz Pawlak <[email protected]>
	# 2014.05.16
	#
	#
	import re
	import urllib

	function hexToHsl($hex) {
	$hex = array($hex[0].$hex[1], $hex[2].$hex[3], $hex[4].$hex[5]);
	$rgb = array_map(function($part) {
	return hexdec($part) / 255;
	}, $hex);

	$max = max($rgb);
	$min = min($rgb);

	$l = ($max + $min) / 2;

	<script src="http://cdnjs.cloudflare.com/ajax/libs/processing.js/1.4.1/processing-api.min.js"></script><html>
	<!--
	Created using jsbin.com
	Source can be edited via http://jsbin.com/pdfjs-helloworld-v2/8598/edit
	-->
	<body>
	<canvas id="the-canvas" style="border:1px solid black"></canvas>
	<input id='pdf' type='file'/>

	<!-- Use latest PDF.js build from Github -->

	# For a symfony application to work properly, you MUST store this .htaccess in
	# the same directory as your front controller, index.php, in a standard symfony
	# web application is under the "public" project subdirectory.

	# Use the front controller as index file.
	DirectoryIndex index.php

	# Uncomment the following line if you install assets as symlinks or if you
	# experience problems related to symlinks when compiling LESS/Sass/CoffeScript.
	# Options +FollowSymlinks

	<?php
	/*
	This program is free software; you can redistribute it and/or modify
	it under the terms of the GNU General Public License as published by
	the Free Software Foundation; either version 2 of the License, or
	(at your option) any later version.

	This program is distributed in the hope that it will be useful,
	but WITHOUT ANY WARRANTY; without even the implied warranty of
	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the