| /** | |
| * Fancy ID generator that creates 20-character string identifiers with the following properties: | |
| * | |
| * 1. They're based on timestamp so that they sort *after* any existing ids. | |
| * 2. They contain 72-bits of random data after the timestamp so that IDs won't collide with other clients' IDs. | |
| * 3. They sort *lexicographically* (so the timestamp is converted to characters that will sort properly). | |
| * 4. They're monotonically increasing. Even if you generate more than one in the same timestamp, the | |
| * latter ones will sort after the former ones. We do this by using the previous random bits | |
| * but "incrementing" them by 1 (only in the case of a timestamp collision). | |
| */ |
I changed this!
This is an HTML5 audio player that detects the user agent of your device/browser/OS and applies styling that matches the native audio player. The playlist responds to the width of your screen and features basic UI controls.
Feel free to fork this pen and add your own user agent styles for different browsers, devices and operating systems.
| <?php | |
| //Automatically login a single WordPress user upon arrival to a specific page. | |
| //Redirect to home page once logged in and prevent viewing of the login page. | |
| //Tested with WP 3.9.1. Used in functions.php | |
| //Updated 2014-07-18 to resolve WP_DEBUG notice: "get_userdatabylogin is deprecated since version 3.3! Use get_user_by('login') instead." | |
| //From http://tourkick.com/2014/wordpress-demo-multisite-db-reset/ | |
| function auto_login() { | |
| //change these 2 items | |
| $loginpageid = '1234'; //Page ID of your login page |
Download SourceGear DiffMerge: http://sourcegear.com/diffmerge/index.html
Add the following to your global .gitconfig file:
[diff]
tool = DiffMerge
[difftool "DiffMerge"]
cmd = 'C:/Program Files/SourceGear/Common/DiffMerge/sgdm.exe' "$LOCAL" "$REMOTE"
[merge]
tool = DiffMerge