This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!doctype html> | |
<html lang="en"> | |
<head> | |
<meta charset="utf-8"> | |
<meta name="viewport" content="width=device-width, initial-scale=1" /> | |
<title>domvm-MobX Demo</title> | |
<style> | |
.section { margin-left: 1em; } | |
input[type=text] { width: 10em; } | |
#limit { width: 3em; } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
var el = domvm.defineElement, | |
vw = domvm.defineView; | |
// State: | |
var color = "purple", | |
numbers = [{nb: 0}, {nb: 1}, {nb: 2}, {nb: 3}, {nb: 4}, {nb: 5}]; | |
// Views: | |
function ListView() { | |
return function(vm) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
// Put this file in a subdirectory inside the PHPZipMerge repository, then execute it. | |
error_reporting(E_ALL); | |
ini_set('open_basedir', dirname(__DIR__)); // Security: restrict file access to parent directory. | |
require __DIR__.'/../vendor/autoload.php'; | |
$srcName = 'src.zip'; | |
$src = __DIR__.'/'.$srcName; | |
if(file_exists($src)) unlink($src); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// https://gist.github.com/jlgrall/0b8871bb0d84dc119630 | |
function findVal(base, matcher, skip, filter, debug) { | |
"use strict"; | |
// Check the arguments: | |
var i = 2, | |
args = arguments; | |
skip = Array.isArray(args[i]) ? args[i++] : []; | |
filter = typeof args[i] === "function" ? args[i++] : function() { return true; }; | |
debug = args[i] === true; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?php | |
/** | |
* DokuWiki Plugin markdownextra (Action Component) | |
* | |
* @license GPL 2 http://www.gnu.org/licenses/gpl-2.0.html | |
* @author Andreas Gohr <[email protected]> | |
*/ | |
// must be run within Dokuwiki | |
if (!defined('DOKU_INC')) die(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Adds support for data-i18n and data-i18n-options to jQuery UI Dialog's title: | |
if( $.fn.dialog ) { // Checks the presence of the dialog component of jQuery UI | |
var rTitleKey = /\[title\]([^;]*);?/, | |
// Keep a reference to the original _create function: | |
dialog_create_orig = $.ui.dialog.prototype._create; | |
$.ui.dialog.prototype._create = function( ) { | |
var data_i18n, | |
i18n_options; | |
if( !this.options.title ) { // Because as defined in Dialog, the options.title should override the title attribute | |
var old_data_i18n = this.element.attr( "data-i18n" ); |