Jan Kuchař jkuchar

Random bytes, ints, UUIDs in PHP

Simple and safe random getters to copy-paste

string randomBytes( int $length )

int randomInt ( int $min , int $max )

string randomUuid ( void )

	#!/usr/bin/env sh
	set -e

	echo "Pulling latest code..."
	git pull
	echo "Deleting local branches that were removed in remote..."
	git fetch -p
	git branch -vv \| awk '/: gone]/{print $1}' \| xargs git branch -D
	echo "Remaining local branches:"
	git branch -vv

	<!doctype html>
	<html>
	<head>
	<meta charset="utf-8">
	<meta name="viewport" content="width=device-width, initial-scale=1" />
	<title>Enterprisify your Java Class Names! (by Hay Kranen)</title>
	<style>
	body {
	background: white;
	text-align: center;