Guest User

Untitled

a guest
Jan 22nd, 2019
82
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.47 KB | None | 0 0
  1. <?php
  2.  
  3. $botRegexps = array_filter(file("lib/pkp/plugins/generic/usageStats/lib/counterBots/generated/COUNTER_Robots_list.txt"), "filter");
  4.  
  5. print_r($botRegexps);
  6.  
  7.  
  8. function filter(&$regexp)
  9. {
  10. $delimiter = '/';
  11. $regexp = trim($regexp);
  12.  
  13. if (!empty($regexp) && $regexp[0] != '#') {
  14. if(strpos($regexp, $delimiter) !== 0) {
  15. // Make sure delimiters are in place.
  16. $regexp = $delimiter . $regexp . $delimiter;
  17. }
  18. } else {
  19. return false;
  20. }
  21.  
  22. return true;
  23. }
  24.  
  25. ?>
Add Comment
Please, Sign In to add comment