Pinned

1. Make the Belgian official journal le...

   1

   javascript:(function(){document.body.style.background='#fff';var%20table=document.querySelectorAll('table');if(!table||table.length<4)return;with(table[3].style){maxWidth='50em';marginLeft=marginRight='auto';border='1px%20solid%20#999';}var%20th=table[3].querySelector('tr:nth-child(2)%20th');with(th.style){padding='2em';border='0';backgroundColor='#fff';fontFamily='Lucida%20Grande,%20Lucida%20Sans,%20Lucida%20Sans%20Unicode,%20sans-serif';fontWeight='normal';lineHeight='1.4';}})();

2. A small tool to automatically export...

   1

   #!/usr/bin/env php

   2

   <?php

   3

   4

   // Determine which command has been called.

   5

   $cmd = (!empty($argv[1])) ? strtolower($argv[1]) : null;