API: Add a check for PHP bug 45314 (PHP's WDDX formatter messes up UTF-8) and fix...
[mediawiki.git] / bin / ulimit4.sh
blob2a840d2f7f5b258cfe755d23a5b3534fee82623a
1 #!/bin/bash
3 ulimit -t $1 -v $2 -f $3
4 eval "$4"