/**
 * Minified by jsDelivr using Terser v5.39.0.
 * Original file: /npm/jquery.jold.paginator@1.0.4/gulpfile.js
 *
 * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files
 */
var gulp=require("gulp"),concat=require("gulp-concat"),plumber=require("gulp-plumber"),rename=require("gulp-rename"),minifyjs=require("gulp-uglify"),options={metadata:{appName:"jquery.jold.paginator",appDescription:"A jQuery pagination plugin for easy and quick pagination of items inside an element.",developerName:"JOLD Interactive; Jurgen Oldenburg",developerURL:"https://www.jold.nl",background:"#FFFFFF",url:"https://github.com/joldnl/jquery.jold.paginator"},build:{destination:{js:"./"}},js:{files:"./jquery.jold.paginator.js",file:"./jquery.jold.paginator.js",destination:"./",includes:["./jquery.jold.paginator.js"]},watch:{files:function(){return[options.js.files]},run:function(){return[["default"]]}}};gulp.task("default",(function(){return gulp.src(options.js.includes).pipe(plumber()).pipe(concat("jquery.jold.paginator.js")).pipe(minifyjs()).pipe(rename({suffix:".min"})).pipe(gulp.dest(options.build.destination.js))})),gulp.task("watch",(function(){options.watch.files().forEach((function(e,i){gulp.watch(e,gulp.series(options.watch.run()[i]))}))}));
//# sourceMappingURL=/sm/1ad880182f928765952cb92cfb1155fbfe2e1c0309cae0ef4618e0714a142f8b.map