Searched defs:REV (Results 1 – 1 of 1) sorted by path
32 $REV = & $INPUT->ref('rev'); variable34 $REV = preg_replace('/[^0-9]/', '', $REV); variable