Merge branch 'MDL-58479-33-weblib-notice-phpdoc' of git://github.com/roperto/moodle