Skip to content

Commit

Permalink
Update git submodules
Browse files Browse the repository at this point in the history 
* Update UpdateMediaWiki from branch 'master'
  - Add php-parallel-lint
    
    php-lint will test for valid php files
    
    Change-Id: I3029a275085d1ec0dc6807011ec6efc3b67510ad
  • Loading branch information
@umherirrender
umherirrender authored and Gerrit Code Review committed Sep 13, 2017
1 parent 56d0cae commit 1236d66
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion UpdateMediaWiki
Submodule UpdateMediaWiki updated from 28d1d6 to 86ace7

0 comments on commit 1236d66

Please sign in to comment.