melkij@php-sandbox:~$ php -f test.php
this is always available
<? echo 'short tags disabled',PHP_EOL?>
melkij@php-sandbox:~$ php -i | grep 'short_open_tag'short_open_tag => Off => Off
melkij@php-sandbox:~$ php -v
PHP 5.5.11 (cli) (built: Apr 4 2014 17:02:52)
Copyright (c) 1997-2014 The PHP Group
Zend Engine v2.5.0, Copyright (c) 1998-2014 Zend Technologies
melkij@php-sandbox:~$ grep -i 'short_open_tag' /opt/phpfarm/inst/php-5.5.7/etc/php.ini
; short_open_tag
short_open_tag = Off
melkij@php-sandbox:~$ php -i | grep 'short_open_tag'
short_open_tag => Off => Off
Не уверен, что именно dotdeb считает за stable, но в инструкции написано указывать свой дистрибьютив явно: www.dotdeb.org/instructions